FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

non port: head/math/coq/Makefile
SVNWeb

Number of commits found: 57

Sat, 31 Dec 2016
[ 23:05 hrs ] Original commit   Revision:430173
430173 math/coq/Makefile
430173 math/coq/distinfo
430173 math/coq/files/patch-Makefile.build
430173 math/coq/files/patch-Makefile.install
430173 math/coq/files/patch-configure.ml
430173 math/coq/pkg-plist
Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.
[ 14:32 hrs ] Original commit   Revision:430124
430124 math/coq/Makefile
430124 math/coq/distinfo
430124 math/coq/files
430124 math/coq/files/patch-Makefile.build
430124 math/coq/files/patch-configure.ml
430124 math/coq/pkg-plist
Update to 8.5.
[ 09:00 hrs ] Original commit   Revision:430096
430096 math/coq/Makefile
- Add missing dependencies.
- Strip installed binaries.
Wed, 14 Dec 2016
[ 21:48 johans ] Original commit   Revision:428596
428596 archivers/rpm4/Makefile
428596 deskutils/tuxcards/Makefile
428596 devel/bison/Makefile
428596 devel/editline/Makefile
428596 devel/gnulib/Makefile
428596 devel/m4/Makefile
428596 devel/ocaml-camlp5/Makefile
428596 devel/ocaml-cmdliner/Makefile
428596 devel/ocaml-findlib/Makefile
428596 devel/ocaml-ipaddr/Makefile

(Only the first 10 of 38 ports in this commit are shown above. View all ports for this commit)
Stepping down as maintainer for some ports.
Sat, 19 Nov 2016
[ 11:39 danfe ] Original commit   Revision:426358
426358 math/coq/Makefile
426358 math/coq/pkg-descr
- Move license information from port description into LICENSE knobs
- Convert $arch-conditional BROKEN statement into BROKEN_$arch one
Mon, 23 May 2016
[ 20:35 amdmi3 ] Original commit   Revision:415742
415742 archivers/rpm4/Makefile
415742 audio/abraca/Makefile
415742 audio/dsbmixer/Makefile
415742 audio/easytag/Makefile
415742 audio/exaile/Makefile
415742 audio/idjc/Makefile
415742 audio/libmp3splt/Makefile
415742 audio/mp3splt/Makefile
415742 audio/musicpd/Makefile
415742 audio/shoutcast/Makefile

(Only the first 10 of 217 ports in this commit are shown above. View all ports for this commit)
Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by
default anyway and don't need to be listed

Approved by:	portmgr blanket
Fri, 1 Apr 2016
[ 14:16 mat ] Original commit   Revision:412348
412348 mail/addresses-goodies/Makefile
412348 mail/alpine/Makefile
412348 mail/anubis/Makefile
412348 mail/archiveopteryx-devel/Makefile
412348 mail/archiveopteryx/Makefile
412348 mail/assp/Makefile
412348 mail/automx/Makefile
412348 mail/avenger/Makefile
412348 mail/balsa/Makefile
412348 mail/batv-milter/Makefile

(Only the first 10 of 2612 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Sat, 23 May 2015
[ 10:06 johans ] Original commit   Revision:387123
387123 math/coq/Makefile
387123 math/coq/distinfo
387123 math/coq/pkg-plist
Update Coq to 8.4pl6

PR:		200409
Submitted by:	yuri@rawbw.com
Mon, 4 May 2015
[ 15:46 madpilot ] Original commit   Revision:385413
385413 Mk/bsd.ocaml.mk
385413 astro/planets/Makefile
385413 databases/ocaml-mysql/Makefile
385413 deskutils/wyrd/Makefile
385413 devel/coccinelle/Makefile
385413 devel/frama-c/Makefile
385413 devel/monotone-viz/Makefile
385413 devel/ocaml-camomile/Makefile
385413 devel/ocaml-deriving-ocsigen/Makefile
385413 devel/ocaml-extlib/Makefile

(Only the first 10 of 35 ports in this commit are shown above. View all ports for this commit)
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
Mon, 22 Dec 2014
[ 10:45 johans ] Original commit   Revision:375227
375227 math/coq/Makefile
375227 math/coq/distinfo
375227 math/coq/pkg-descr
Update to Coq 8.4pl5
Wed, 10 Sep 2014
[ 20:50 gerald ] Original commit   Revision:367888
367888 accessibility/accerciser/Makefile
367888 accessibility/jovie/Makefile
367888 accessibility/kaccessible/Makefile
367888 accessibility/kdeaccessibility4/Makefile
367888 accessibility/kmag/Makefile
367888 accessibility/kmousetool/Makefile
367888 accessibility/kmouth/Makefile
367888 accessibility/orca/Makefile
367888 arabic/kde4-l10n/Makefile
367888 arabic/libreoffice/Makefile

(Only the first 10 of 3171 ports in this commit are shown above. View all ports for this commit)
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
Wed, 3 Sep 2014
[ 16:54 antoine ] Original commit   Revision:367220
367220 math/coq/Makefile
Fix packaging
Wed, 23 Jul 2014
[ 13:04 bapt ] Original commit   Revision:362673
362673 math/coq/Makefile
Switch to texlive
Tue, 1 Jul 2014
[ 07:04 eadler ] Original commit   Revision:359963
359963 games/crafty-open-large/Makefile
359963 math/coq/Makefile
359963 net/p5-AddressBook/Makefile
359963 shells/scponly/Makefile
359963 www/p5-HTML-Summary/Makefile
multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern
	The ports infrastructure may insert additional content into the
	BUILD_DEPENDS variable which is not supposed to be a run depend.

Approved by:	portmgr (bapt)
Sat, 11 Jan 2014
[ 09:31 johans ] Original commit   Revision:339411
339411 math/coq/Makefile
339411 math/coq/distinfo
339411 math/coq/pkg-plist
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
Fri, 20 Sep 2013
[ 20:55 bapt ] Original commit   Revision:327746
327746 math/GiNaC/Makefile
327746 math/PDL/Makefile
327746 math/R-cran-ChangeAnomalyDetection/Makefile
327746 math/R-cran-Formula/Makefile
327746 math/R-cran-KFAS/Makefile
327746 math/R-cran-LearnBayes/Makefile
327746 math/R-cran-MCMCpack/Makefile
327746 math/R-cran-RHmm/Makefile
327746 math/R-cran-RSvgDevice/Makefile
327746 math/R-cran-RcppArmadillo/Makefile

(Only the first 10 of 665 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Thu, 13 Jun 2013
[ 10:57 johans ] Original commit   Revision:320753
320753 math/coq/Makefile
- Add build dependency due to tex changes

PR:		ports/179372
Submitted by:	John Marino <draco@marino.st>
Sat, 11 May 2013
[ 17:58 hrs ] Original commit   Revision:317899
317899 Mk/bsd.tex.mk
317899 arabic/arabtex/Makefile
317899 astro/pp3/Makefile
317899 chinese/cwtex/Makefile
317899 comms/gnuradio/Makefile
317899 deskutils/etask/Makefile
317899 deskutils/tomboy-plugin-latex/Makefile
317899 devel/avr-libc/Makefile
317899 devel/doxygen/Makefile
317899 devel/gdcm/Makefile

(Only the first 10 of 152 ports in this commit are shown above. View all ports for this commit)
Rectify USE_TEX to support both of teTeX and TeXLive.

TEX_DEFAULT:
	A knob to choose teTeX or TeXLive.  One can specify in /etc/make.conf.

USE_TEX:
	A knob for port developers.  Valid keywords are listed in
	bsd.tex.mk.
Mon, 6 May 2013
[ 02:00 hrs ] Original commit   Revision:317455
317455 Mk/bsd.tex.mk
317455 arabic/arabtex/Makefile
317455 astro/pp3/Makefile
317455 chinese/cwtex/Makefile
317455 comms/gnuradio/Makefile
317455 deskutils/etask/Makefile
317455 deskutils/tomboy-plugin-latex/Makefile
317455 devel/avr-libc/Makefile
317455 devel/doxygen/Makefile
317455 devel/gdcm/Makefile

(Only the first 10 of 150 ports in this commit are shown above. View all ports for this commit)
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
Tue, 30 Apr 2013
[ 14:50 johans ] Original commit   Revision:316937
316937 math/coq/Makefile
316937 math/coq/distinfo
Update coq to 8.4.2
Tue, 5 Mar 2013
[ 20:22 bf ] Original commit   Revision:313476
313476 devel/frama-c/Makefile
313476 devel/monotone-viz/Makefile
313476 devel/ocaml-ulex/Makefile
313476 games/freetennis/Makefile
313476 lang/opa/Makefile
313476 math/alt-ergo/Makefile
313476 math/coq/Makefile
313476 math/ocaml-ocamlgraph/Makefile
313476 net-p2p/mldonkey-core/Makefile
313476 net-p2p/mldonkey-gui/Makefile

(Only the first 10 of 19 ports in this commit are shown above. View all ports for this commit)
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
Sun, 17 Feb 2013
[ 10:43 johans ] Original commit   Revision:312410
312410 math/coq/Makefile
312410 math/coq/distinfo
312410 math/coq/files/patch-coq-camlp5-605
312410 math/coq/pkg-plist
- Update coq to 8.4 pl1 [1]
  http://coq.inria.fr/coq-84
- Remove local patch that is now included upstream
- Add ocaml-findlib as build dependency

PR:             ports/176056
Submitted by:   Jaap Boender <jaapb@kerguelen.org>
Thu, 28 Jun 2012
[ 16:12 johans ] Original commit 
1.44 games/eboard/Makefile
1.123 games/freeciv/Makefile
1.13 games/ldmud/Makefile
1.16 lang/cduce/Makefile
1.66 lang/pike76/Makefile
1.24 lang/pike78/Makefile
1.103 lang/smalltalk/Makefile
1.35 math/coq/Makefile
1.40 security/xmlsec1/Makefile
Convert to new options framework
Fri, 1 Jun 2012
[ 05:26 dinoex ] Original commit 
1.59 Mk/bsd.gecko.mk
1.1246 UPDATING
1.18 accessibility/accerciser/Makefile
1.12 accessibility/at-poke/Makefile
1.77 accessibility/at-spi/Makefile
1.5 accessibility/at-spi2-atk/Makefile
1.54 accessibility/dasher/Makefile
1.60 accessibility/gnome-mag/Makefile
1.45 accessibility/gnopernicus/Makefile
1.51 accessibility/gok/Makefile

(Only the first 10 of 4371 ports in this commit are shown above. View all ports for this commit)
- update png to 1.5.10
Sun, 25 Mar 2012
[ 09:21 johans ] Original commit 
1.33 math/coq/Makefile
1.14 math/coq/distinfo
1.2 math/coq/files/ide-coqide.diff
1.1 math/coq/files/patch-coq-camlp5-605
1.12 math/coq/pkg-plist
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes
Wed, 14 Mar 2012
[ 20:11 pav ] Original commit 
1.32 math/coq/Makefile
- Mark BROKEN: does not compile
  OCAMLC    pretyping/pretype_errors.mli
  OCAMLOPT  pretyping/pretype_errors.ml
  File "pretyping/pretype_errors.ml", line 48, characters 4-109:
  Error: Unbound constructor Stdpp.Exc_located
  gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2

Reported by:    pointyhat
Feature safe:   yes
Fri, 11 Nov 2011
[ 02:53 linimon ] Original commit 
1.31 math/coq/Makefile
Mark as broken on powerpc: fails to link.

Hat:            portmgr
Feature safe:   yes
Mon, 2 May 2011
[ 12:44 makc ] Original commit 
1.7 arabic/arabtex/Makefile
1.8 astro/pp3/Makefile
1.10 astro/xmoontool/Makefile
1.8 audio/dekagen/Makefile
1.11 audio/fdmf/Makefile
1.35 audio/rosegarden/Makefile
1.14 audio/xanalyser/Makefile
1.67 audio/xmcd/Makefile
1.24 audio/xmmix/Makefile
1.27 audio/xmradio/Makefile

(Only the first 10 of 195 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION after open-mofit update
Mon, 25 Apr 2011
[ 17:48 johans ] Original commit 
1.29 math/coq/Makefile
1.13 math/coq/distinfo
Update coq to 8.3.2
Mon, 18 Apr 2011
[ 17:19 johans ] Original commit 
1.28 math/coq/Makefile
Correct PORTVERSION: pl (patch level) releases follow a main release

Reported by:            erwin
Sat, 12 Feb 2011
[ 12:30 johans ] Original commit 
1.27 math/coq/Makefile
1.12 math/coq/distinfo
1.2 math/coq/files/patch-camlp5-6-compat
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)
Fri, 10 Dec 2010
[ 17:23 johans ] Original commit 
1.26 math/coq/Makefile
1.1 math/coq/files/patch-camlp5-6-compat
Fix build with new ocaml preprocessor (patch from upstream)

Reported by:    pointyhat via pav
Tue, 9 Nov 2010
[ 07:09 johans ] Original commit 
1.25 math/coq/Makefile
1.11 math/coq/distinfo
1.1 math/coq/files/ide-coqide.diff
1.11 math/coq/pkg-plist
- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>
Fri, 25 Jun 2010
[ 06:53 johans ] Original commit 
1.24 math/coq/Makefile
1.10 math/coq/distinfo
- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation

PR:             ports/148034
Submitted by:   Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe:   yes
Sun, 28 Mar 2010
[ 06:47 dinoex ] Original commit 
1.20 Mk/bsd.gecko.mk
1.12 accessibility/accerciser/Makefile
1.10 accessibility/at-poke/Makefile
1.72 accessibility/at-spi/Makefile
1.51 accessibility/dasher/Makefile
1.54 accessibility/gnome-mag/Makefile
1.42 accessibility/gnopernicus/Makefile
1.46 accessibility/gok/Makefile
1.11 accessibility/java-access-bridge/Makefile
1.32 accessibility/kdeaccessibility/Makefile

(Only the first 10 of 4470 ports in this commit are shown above. View all ports for this commit)
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
Tue, 23 Feb 2010
[ 18:06 johans ] Original commit 
1.45 lang/afnix/Makefile
1.12 lang/cduce/Makefile
1.35 lang/moscow_ml/Makefile
1.11 lang/ocaml-doc/Makefile
1.45 lang/pike72/Makefile
1.11 lang/pike78/Makefile
1.89 lang/smalltalk/Makefile
1.6 lang/yorick-doc/Makefile
1.24 lang/yorick/Makefile
1.15 mail/chk4mail/Makefile

(Only the first 10 of 27 ports in this commit are shown above. View all ports for this commit)
Update my mail address to @FreeBSD.org

Feature safe:   yes
Fri, 5 Feb 2010
[ 11:46 dinoex ] Original commit 
1.19 Mk/bsd.gecko.mk
1.11 accessibility/accerciser/Makefile
1.9 accessibility/at-poke/Makefile
1.71 accessibility/at-spi/Makefile
1.50 accessibility/dasher/Makefile
1.53 accessibility/gnome-mag/Makefile
1.41 accessibility/gnopernicus/Makefile
1.45 accessibility/gok/Makefile
1.10 accessibility/java-access-bridge/Makefile
1.31 accessibility/kdeaccessibility/Makefile

(Only the first 10 of 4271 ports in this commit are shown above. View all ports for this commit)
- update to jpeg-8
Fri, 31 Jul 2009
[ 13:57 dinoex ] Original commit 
1.9 accessibility/accerciser/Makefile
1.8 accessibility/at-poke/Makefile
1.69 accessibility/at-spi/Makefile
1.49 accessibility/dasher/Makefile
1.40 accessibility/gnopernicus/Makefile
1.43 accessibility/gok/Makefile
1.8 accessibility/java-access-bridge/Makefile
1.29 accessibility/kdeaccessibility/Makefile
1.35 accessibility/kdeaccessibility4/Makefile
1.11 accessibility/mousetweaks/Makefile

(Only the first 10 of 3009 ports in this commit are shown above. View all ports for this commit)
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin
Mon, 16 Mar 2009
[ 07:38 johans ] Original commit 
1.19 math/coq/Makefile
1.9 math/coq/distinfo
1.9 math/coq/pkg-plist
Update to 8.2.1
Fri, 6 Jun 2008
[ 13:44 edwin ] Original commit 
1.53 math/PDL/Makefile
1.69 math/R/Makefile
1.7 math/abakus/Makefile
1.39 math/asymptote/Makefile
1.21 math/blacs/Makefile
1.9 math/blocksolve95/Makefile
1.25 math/calcoo/Makefile
1.23 math/clarence/Makefile
1.14 math/convertall/Makefile
1.18 math/coq/Makefile

(Only the first 10 of 76 ports in this commit are shown above. View all ports for this commit)
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
Wed, 16 Apr 2008
[ 22:10 johans ] Original commit 
1.17 math/coq/Makefile
- Due to depency updates, camlp5 (fresh port) is now required as well:
  Include this dependency and bump portrevision
Sun, 6 Apr 2008
[ 17:40 johans ] Original commit 
1.16 math/coq/Makefile
1.8 math/coq/distinfo
1.8 math/coq/pkg-plist
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Mon, 30 Jul 2007
[ 07:36 johans ] Original commit 
1.15 math/coq/Makefile
1.7 math/coq/distinfo
1.7 math/coq/pkg-plist
Update to 8.1.1  (bugfix release)
Sat, 19 May 2007
[ 20:32 flz ] Original commit 
1.1364 MOVED
1.566 Mk/bsd.port.mk
1.1 Mk/bsd.xorg.mk
1.1 Tools/scripts/mergebase.sh
1.502 UPDATING
1.2 accessibility/at-poke/Makefile
1.60 accessibility/at-spi/Makefile
1.29 accessibility/at-spi/pkg-plist
1.51 accessibility/atk/Makefile
1.27 accessibility/atk/pkg-plist

(Only the first 10 of 7868 ports in this commit are shown above. View all ports for this commit)
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
Sun, 25 Mar 2007
[ 18:44 johans ] Original commit 
1.13 math/coq/Makefile
1.6 math/coq/distinfo
1.6 math/coq/pkg-plist
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
Thu, 16 Mar 2006
[ 15:31 pav ] Original commit 
1.12 math/coq/Makefile
1.5 math/coq/distinfo
1.5 math/coq/pkg-plist
- Update to 8.0pl3

PR:             ports/93954
Submitted by:   Johan van Selst <johans@stack.nl>
Mon, 6 Mar 2006
[ 20:30 kris ] Original commit 
1.11 math/coq/Makefile
BROKEN: Does not build

Approved by:    portmgr (implicit)
Wed, 7 Dec 2005
[ 15:59 vs ] Original commit 
1.10 math/coq/Makefile
1.4 math/coq/distinfo
Unbreak: Add vendor-patch for ocaml 3.09
Mon, 5 Dec 2005
[ 09:49 vs ] Original commit 
1.9 math/coq/Makefile
Bump PORTREVISION to regenerate the package with the newly enabled IDE on the
cluster

Suggested by: kris
[ 09:16 vs ] Original commit 
1.8 math/coq/Makefile
Enable IDE by default.
Sat, 29 Oct 2005
[ 20:14 mnag ] Original commit 
1.7 math/coq/Makefile
Drop MAINTAINER

PR:             88197
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
Wed, 2 Feb 2005
[ 11:34 vs ] Original commit 
1.6 math/coq/Makefile
1.2 math/coq/distinfo
Update to 8.0p2

PR:             ports/76977
Submitted by:   Rene Laden (maintainer)
Tue, 18 Jan 2005
[ 16:44 vs ] Original commit 
1.5 math/coq/Makefile
1.3 math/coq/pkg-plist
Fix packaging

PR:             ports/75787
Submitted by:   maintainer
Mon, 20 Dec 2004
[ 21:37 sem ] Original commit 
1.4 math/coq/Makefile
- Unbreak on amd64
  (Johan van Selst succesfully ran the test-suite
  on an amd64 running 6-CURRENT and ocaml-3.08.2)

PR:             ports/75334
Submitted by:   maintainer
Mon, 29 Nov 2004
[ 09:34 tobez ] Original commit 
1.3 math/coq/Makefile
Mark broken on ia64 and amd64.

PR:             74502
Submitted by:   maintainer
Mon, 8 Nov 2004
[ 21:57 pav ] Original commit 
1.2 math/coq/Makefile
1.2 math/coq/pkg-descr
1.2 math/coq/pkg-plist
- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics

PR:             ports/73634
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
Sat, 16 Oct 2004
[ 00:55 pav ] Original commit 
1.288 math/Makefile
1.1 math/coq/Makefile
1.1 math/coq/distinfo
1.1 math/coq/pkg-descr
1.1 math/coq/pkg-plist
Add coq, a formal proof management system: a proof done with Coq is
mechanically checked by the machine.

In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".

PR:             ports/72718
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl>

Number of commits found: 57

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
fbsdmonFeb 21
libevent*Feb 20
wavpackFeb 18
openssl-develFeb 16
optipngFeb 16
py-diffoscope*Feb 16
ffmpegFeb 12
gtk-vncFeb 11
xen-toolsFeb 11
curl*Feb 06
linux-c6-tiffFeb 06
linux-c7-tiffFeb 06
tiffFeb 06
chickenFeb 04
freeimageFeb 04

9 vulnerabilities affecting 16 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 28192
Broken 281
Deprecated 109
Ignore 547
Forbidden 1
Restricted 205
No CDROM 83
Vulnerable 84
Expired 13
Set to expire 99
Interactive 0
new 24 hours 8
new 48 hours14
new 7 days201
new fortnight253
new month479

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.