| non port: math/coq/pkg-plist |
|
SVNWeb
|
Number of commits found: 18 |
|
Sat, 31 Dec 2016
|
[ 23:05 hrs  ]  
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
|
[ 14:32 hrs ]
Update to 8.5.
|
|
Sat, 23 May 2015
|
[ 10:06 johans ]
Update Coq to 8.4pl6
PR: 200409
Submitted by: yuri@rawbw.com
|
|
Thu, 13 Nov 2014
|
[ 23:24 antoine ] (Only the first 10 of 55 ports in this commit are shown above.  )
Cleanup plist
|
|
Sat, 11 Jan 2014
|
[ 09:31 johans ]
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
|
|
Sun, 17 Feb 2013
|
[ 10:43 johans ]
- 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 ]
- 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 ]
- 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 ]
Fix pkg-plist
Reported by: QAT
|
[ 07:38 johans ]
Update to 8.2.1
|
|
Sun, 6 Apr 2008
|
[ 17:40 johans ]
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
|
|
Mon, 30 Jul 2007
|
[ 07:36 johans ]
Update to 8.1.1 (bugfix release)
|
|
Sun, 25 Mar 2007
|
[ 18:44 johans ]
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
|
|
Thu, 16 Mar 2006
|
[ 15:31 pav ]
- Update to 8.0pl3
PR: ports/93954
Submitted by: Johan van Selst <johans@stack.nl>
|
|
Sun, 22 Jan 2006
|
[ 02:26 edwin ] (Only the first 10 of 69 ports in this commit are shown above. )
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 ]
Fix packaging
PR: ports/75787
Submitted by: maintainer
|
|
Mon, 8 Nov 2004
|
[ 21:57 pav ]
- 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 ]
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 |
As an Amazon Associate I earn from qualifying purchases.