| 1 | --- Portfile.~1~ 2013-12-22 01:30:19.000000000 -0500 |
|---|
| 2 | +++ Portfile 2014-05-20 21:19:09.000000000 -0400 |
|---|
| 3 | @@ -4,7 +4,7 @@ |
|---|
| 4 | PortSystem 1.0 |
|---|
| 5 | |
|---|
| 6 | name coq |
|---|
| 7 | -version 8.4pl3 |
|---|
| 8 | +version 8.4pl4 |
|---|
| 9 | platforms darwin |
|---|
| 10 | categories lang math |
|---|
| 11 | license LGPL-2.1 |
|---|
| 12 | @@ -21,8 +21,8 @@ |
|---|
| 13 | port:camlp5 |
|---|
| 14 | |
|---|
| 15 | master_sites http://coq.inria.fr/distrib/V${version}/files/ |
|---|
| 16 | -checksums rmd160 6b4e077f0aaa130df9214d6a20be94adca838da5 \ |
|---|
| 17 | - sha256 97583d637f981c5554007f4e99ce6420ebc737186b1d021bd71766fd891cfb38 |
|---|
| 18 | +checksums rmd160 19e3fe905f5db09710b1f862f21e9b57c28f9704 \ |
|---|
| 19 | + sha256 06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01 |
|---|
| 20 | |
|---|
| 21 | configure.pre_args -prefix ${prefix} |
|---|
| 22 | configure.args -emacslib ${prefix}/share/emacs/site-lisp/ \ |
|---|
