notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.
New feature planned: get notified when the package is available. Now is the time to contribute ideas/suggestions.
non port: math/coq/pkg-plist

Number of commits found: 18

Saturday, 31 Dec 2016
23:05 hrs search for other commits by this committer
Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.
Original commitRevision:430173 
14:32 hrs search for other commits by this committer
Update to 8.5.
Original commitRevision:430124 
Saturday, 23 May 2015
10:06 johans search for other commits by this committer
Update Coq to 8.4pl6

PR:		200409
Submitted by:	yuri@rawbw.com
Original commitRevision:387123 
Thursday, 13 Nov 2014
23:24 antoine search for other commits by this committer
Cleanup plist
Original commitRevision:372546 
Saturday, 11 Jan 2014
09:31 johans search for other commits by this committer
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
Original commitRevision:339411 
Sunday, 17 Feb 2013
10:43 johans search for other commits by this committer
- 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>
Original commitRevision:312410 
Sunday, 25 Mar 2012
09:21 johans search for other commits by this committer
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes
Original commit
Tuesday, 9 Nov 2010
07:09 johans search for other commits by this committer
- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>
Original commit
Monday, 16 Mar 2009
09:42 johans search for other commits by this committer
Fix pkg-plist

Reported by:    QAT
Original commit
07:38 johans search for other commits by this committer
Update to 8.2.1
Original commit
Sunday, 6 Apr 2008
17:40 johans search for other commits by this committer
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Original commit
Monday, 30 Jul 2007
07:36 johans search for other commits by this committer
Update to 8.1.1  (bugfix release)
Original commit
Sunday, 25 Mar 2007
18:44 johans search for other commits by this committer
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
Original commit
Thursday, 16 Mar 2006
15:31 pav search for other commits by this committer
- Update to 8.0pl3

PR:             ports/93954
Submitted by:   Johan van Selst <johans@stack.nl>
Original commit
Sunday, 22 Jan 2006
02:26 edwin search for other commits by this committer
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry

Approved by:    krion@
PR:             ports/88711 (related)
Original commit
Tuesday, 18 Jan 2005
16:44 vs search for other commits by this committer
Fix packaging

PR:             ports/75787
Submitted by:   maintainer
Original commit
Monday, 8 Nov 2004
21:57 pav search for other commits by this committer
- 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)
Original commit
Saturday, 16 Oct 2004
00:55 pav search for other commits by this committer
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>
Original commit

Number of commits found: 18