| 1 | Index: lang/coq/Portfile |
|---|
| 2 | =================================================================== |
|---|
| 3 | RCS file: /Volumes/src/cvs/od/proj/darwinports/dports/lang/coq/Portfile,v |
|---|
| 4 | retrieving revision 1.2 |
|---|
| 5 | diff -u -r1.2 Portfile |
|---|
| 6 | --- lang/coq/Portfile 11 Jul 2004 14:51:49 -0000 1.2 |
|---|
| 7 | +++ lang/coq/Portfile 10 Aug 2004 17:47:39 -0000 |
|---|
| 8 | @@ -1,7 +1,7 @@ |
|---|
| 9 | # $Id: Portfile,v 1.2 2004/07/11 14:51:49 olegb Exp $ |
|---|
| 10 | PortSystem 1.0 |
|---|
| 11 | name coq |
|---|
| 12 | -version 8.0 |
|---|
| 13 | +version 8.0pl1 |
|---|
| 14 | categories lang math |
|---|
| 15 | maintainers jtonio@users.sourceforge.net |
|---|
| 16 | description Proof assistant for higher-order logic |
|---|
| 17 | @@ -10,8 +10,8 @@ |
|---|
| 18 | which allows the development of computer programs consistent with \ |
|---|
| 19 | their formal specification. It is developed using Objective Caml and \ |
|---|
| 20 | Camlp4. For more information, see <http://coq.inria.fr/>. |
|---|
| 21 | -master_sites ftp://ftp.inria.fr/INRIA/coq/V8.0/ |
|---|
| 22 | -checksums md5 75ab1eb131b3469d21ab74377826b32b |
|---|
| 23 | +master_sites ftp://ftp.inria.fr/INRIA/coq/V8.0pl1/ |
|---|
| 24 | +checksums md5 95237e64081d7306fdea49e1988bde12 |
|---|
| 25 | configure.pre_args -prefix ${prefix} |
|---|
| 26 | configure.args -emacslib ${prefix}/share/emacs/site-lisp/ |
|---|
| 27 | depends_build bin:ocamlc:ocaml |
|---|
| 28 | |
|---|
