[115012] trunk/dports/lang/coq/Portfile

[larryv at macports.org]

Revision: 115012
          https://trac.macports.org/changeset/115012
Author:   larryv at macports.org
Date:     2013-12-21 22:02:41 -0800 (Sat, 21 Dec 2013)
Log Message:
-----------
coq: Fix checksums; use published distribution URL.

Modified Paths:
--------------
    trunk/dports/lang/coq/Portfile

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2013-12-22 05:57:54 UTC (rev 115011)
+++ trunk/dports/lang/coq/Portfile	2013-12-22 06:02:41 UTC (rev 115012)
@@ -20,9 +20,9 @@
 depends_lib         port:ocaml \
                     port:camlp5
 
-master_sites        ${homepage}V${version}/files/
-checksums           rmd160  d34331d4c61afca9436219d643da0eb7ccf67969 \
-                    sha256  fcc0dc1c90485e6d5c90a0f99789a7ab50fcba49156f975f106b8ab5731a21e3
+master_sites        http://coq.inria.fr/distrib/V${version}/files/
+checksums           rmd160  6b4e077f0aaa130df9214d6a20be94adca838da5 \
+                    sha256  97583d637f981c5554007f4e99ce6420ebc737186b1d021bd71766fd891cfb38
 
 configure.pre_args  -prefix ${prefix}
 configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20131221/cefeef57/attachment.html>