diff options
| author | tonio <tonio@pkgsrc.org> | 2006-01-27 19:22:58 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2006-01-27 19:22:58 +0000 |
| commit | 29cccc8d1f948ea9066914bf93c42000c32e3071 (patch) | |
| tree | e400dfef14d6bbe81eb4330eb0f505746782947a /lang/coq/Makefile | |
| parent | 2e37af1ce7be57e048f1c09f7638c62fed3f16f9 (diff) | |
| download | pkgsrc-29cccc8d1f948ea9066914bf93c42000c32e3071.tar.gz | |
Update lang/coq to 8.0pl3
Changelog:
- Coq sources made compatible with ocaml 3.09.0 and lablgtk 2.6.0.
- The search depth argument of auto can be parameterised in the Ltac language
- Added entry constr_may_eval for tactic extensions (new syntax)
- A couple of lemmas of ZArith were renamed: O -> 0
- many bugfixes, for extraction, Ltac, tactics...
Diffstat (limited to 'lang/coq/Makefile')
| -rw-r--r-- | lang/coq/Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index ff8335f6837..24b23ac5a9b 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,10 +1,9 @@ -# $NetBSD: Makefile,v 1.11 2006/01/16 14:34:34 tonio Exp $ +# $NetBSD: Makefile,v 1.12 2006/01/27 19:22:58 tonio Exp $ # -DISTNAME= coq-8.0pl2 -PKGREVISION= 1 +DISTNAME= coq-8.0pl3 CATEGORIES= lang math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/ MAINTAINER= richards+netbsd@CS.Princeton.EDU HOMEPAGE= http://coq.inria.fr/ |