| 1 | --- Portfile.~1~ 2012-07-29 09:01:28.000000000 -0400 |
|---|
| 2 | +++ Portfile 2012-09-05 18:19:39.000000000 -0400 |
|---|
| 3 | @@ -3,7 +3,7 @@ |
|---|
| 4 | PortSystem 1.0 |
|---|
| 5 | |
|---|
| 6 | name coq |
|---|
| 7 | -version 8.3pl4 |
|---|
| 8 | +version 8.4 |
|---|
| 9 | revision 1 |
|---|
| 10 | platforms darwin |
|---|
| 11 | categories lang math |
|---|
| 12 | @@ -19,8 +19,8 @@ |
|---|
| 13 | their formal specification. It is developed using Objective Caml and \ |
|---|
| 14 | Camlp4. For more information, see <${homepage}>. |
|---|
| 15 | |
|---|
| 16 | -checksums rmd160 ed6dc4516210667707b9206aeaef260ce6bef7ef \ |
|---|
| 17 | - sha256 79f26cee0f9eb0bea376ff7eca4e9b9cbcacd179a264cb550e39e20a59a5a39d |
|---|
| 18 | +checksums rmd160 6824f9542c823c7d943a59acefb90ff9c9dbe37a \ |
|---|
| 19 | + sha256 f46ae5b6f0bea9dc299de6f3c020ee75c40581e32a1832e9a290d098a6a2424d |
|---|
| 20 | |
|---|
| 21 | # coq 8.3pl4 is incompatible with OCaml 4.00 -- for now use ocaml3 |
|---|
| 22 | depends_lib port:ocaml3 port:ocaml3-camlp5 |
|---|
