Ticket #46062: patch
File patch, 971 bytes (added by pmetzger (Perry E. Metzger), 10 years ago) |
---|
-
Portfile
old new 4 4 PortSystem 1.0 5 5 6 6 name coq 7 version 8.4pl 48 revision 17 version 8.4pl5 8 revision 0 9 9 platforms darwin 10 10 categories lang math 11 11 license LGPL-2.1 … … 22 22 port:camlp5 23 23 24 24 master_sites http://coq.inria.fr/distrib/V${version}/files/ 25 checksums rmd160 19e3fe905f5db09710b1f862f21e9b57c28f9704 \ 26 sha256 06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01 27 28 patchfiles patch-kernel-univ.ml.diff 25 checksums rmd160 352ee5778605e9740b2d4ae4586933102beb43f2 \ 26 sha256 35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245 29 27 30 28 configure.pre_args -prefix ${prefix} 31 29 configure.args -emacslib ${prefix}/share/emacs/site-lisp/ \