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

I am looking for an LTO tape library. Do you have one to spare?
found something from the cache
non port: head/math/coq/Makefile
SVNWeb

Number of commits found: 47

Wed, 10 Sep 2014
[ 20:50 gerald ] Original commit 
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 
367220 math/coq/Makefile
Fix packaging
Wed, 23 Jul 2014
[ 13:04 bapt ] Original commit 
362673 math/coq/Makefile
Switch to texlive
Tue, 1 Jul 2014
[ 07:04 eadler ] Original commit 
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 
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 
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 
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 
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 
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 
316937 math/coq/Makefile
316937 math/coq/distinfo
Update coq to 8.4.2
Tue, 5 Mar 2013
[ 20:22 bf ] Original commit 
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 
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: 47

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
ntpDec 20
ntp-develDec 20
gitDec 19
otrsDec 16
mod_dav_svnDec 15
subversionDec 15
subversion16Dec 15
subversion17Dec 15
nvidia-driverDec 14
nvidia-driver-173Dec 14
nvidia-driver-304Dec 14
asterisk11Dec 11
bind99Dec 11
xorg-serverDec 10
unboundDec 09

10 vulnerabilities affecting 27 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 24438
Broken 145
Deprecated 70
Ignore 398
Forbidden 2
Restricted 207
No CDROM 93
Vulnerable 19
Expired 0
Set to expire 65
Interactive 0
new 24 hours 2
new 48 hours6
new 7 days22
new fortnight45
new month130

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