[128897] trunk/dports/lang/coq

[ionic at macports.org]

Revision: 128897
          https://trac.macports.org/changeset/128897
Author:   ionic at macports.org
Date:     2014-11-29 08:59:20 -0800 (Sat, 29 Nov 2014)
Log Message:
-----------
coq: update to 8.4pl5. maintainer upload. fixes #46062.

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

Removed Paths:
-------------
    trunk/dports/lang/coq/files/patch-kernel-univ.ml.diff

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2014-11-29 16:34:32 UTC (rev 128896)
+++ trunk/dports/lang/coq/Portfile	2014-11-29 16:59:20 UTC (rev 128897)
@@ -4,8 +4,8 @@
 PortSystem          1.0
 
 name                coq
-version             8.4pl4
-revision            1
+version             8.4pl5
+revision            0
 platforms           darwin
 categories          lang math
 license             LGPL-2.1
@@ -22,11 +22,9 @@
                     port:camlp5
 
 master_sites        http://coq.inria.fr/distrib/V${version}/files/
-checksums           rmd160  19e3fe905f5db09710b1f862f21e9b57c28f9704 \
-                    sha256  06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01
+checksums           rmd160  352ee5778605e9740b2d4ae4586933102beb43f2 \
+                    sha256  35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245
 
-patchfiles          patch-kernel-univ.ml.diff
-
 configure.pre_args  -prefix ${prefix}
 configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \
                     -mandir ${prefix}/share/man \

Deleted: trunk/dports/lang/coq/files/patch-kernel-univ.ml.diff
===================================================================
--- trunk/dports/lang/coq/files/patch-kernel-univ.ml.diff	2014-11-29 16:34:32 UTC (rev 128896)
+++ trunk/dports/lang/coq/files/patch-kernel-univ.ml.diff	2014-11-29 16:59:20 UTC (rev 128897)
@@ -1,11 +0,0 @@
---- kernel/univ.ml.orig	2014-10-20 20:52:41.000000000 -0400
-+++ kernel/univ.ml	2014-10-20 20:52:57.000000000 -0400
-@@ -226,7 +226,7 @@
- 
- 
- (* between : UniverseLevel.t -> canonical_arc -> canonical_arc list *)
--(* between u v = {w|u<=w<=v, w canonical}          *)
-+(* between u v = { w | u<=w<=v, w canonical}          *)
- (* between is the most costly operation *)
- 
- let between g arcu arcv =
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20141129/2eb115c8/attachment.html>