notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
non port: math/coq/pkg-plist
SVNWeb

Number of commits found: 18

Sat, 31 Dec 2016
[ 23:05 hrs ] Original commit   Revision:430173
Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.
[ 14:32 hrs ] Original commit   Revision:430124
Update to 8.5.
Sat, 23 May 2015
[ 10:06 johans ] Original commit   Revision:387123
Update Coq to 8.4pl6

PR:		200409
Submitted by:	yuri@rawbw.com
Thu, 13 Nov 2014
[ 23:24 antoine ] Original commit   Revision:372546(Only the first 10 of 55 ports in this commit are shown above. View all ports for this commit)
Cleanup plist
Sat, 11 Jan 2014
[ 09:31 johans ] Original commit   Revision:339411
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
Sun, 17 Feb 2013
[ 10:43 johans ] Original commit   Revision:312410
- 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>
Sun, 25 Mar 2012
[ 09:21 johans ] Original commit 
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes
Tue, 9 Nov 2010
[ 07:09 johans ] Original commit 
- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>
Mon, 16 Mar 2009
[ 09:42 johans ] Original commit 
Fix pkg-plist

Reported by:    QAT
[ 07:38 johans ] Original commit 
Update to 8.2.1
Sun, 6 Apr 2008
[ 17:40 johans ] Original commit 
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Mon, 30 Jul 2007
[ 07:36 johans ] Original commit 
Update to 8.1.1  (bugfix release)
Sun, 25 Mar 2007
[ 18:44 johans ] Original commit 
- 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 
- Update to 8.0pl3

PR:             ports/93954
Submitted by:   Johan van Selst <johans@stack.nl>
Sun, 22 Jan 2006
[ 02:26 edwin ] Original commit (Only the first 10 of 69 ports in this commit are shown above. View all ports for this commit)
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry

Approved by:    krion@
PR:             ports/88711 (related)
Tue, 18 Jan 2005
[ 16:44 vs ] Original commit 
Fix packaging

PR:             ports/75787
Submitted by:   maintainer
Mon, 8 Nov 2004
[ 21:57 pav ] Original commit 
- 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 
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: 18