[Lunar-commits] <moonbase-other> coq: version bump

v4hn me at v4hn.de
Wed Oct 29 22:30:48 CET 2014


commit 9d53f175bb222d5d9f89c39635b44d8c6297c21e
Author: v4hn <me at v4hn.de>
Date: Wed, 29 Oct 2014 22:30:32 +0100
URL: https://github.com/lunar-linux/moonbase-other/commit/9d53f175bb222d5d9f89c39635b44d8c6297c21e

coq: version bump
---
  compilers/coq/DETAILS   | +3/-3     
  compilers/coq/PRE_BUILD | +3/-0     
  2 files changed, 6 insertions(+), 3 deletions(-)

--- a/compilers/coq/DETAILS
+++ b/compilers/coq/DETAILS
@@ -1,11 +1,11 @@
           MODULE=coq
-         VERSION=8.4pl2
+         VERSION=8.4pl5
           SOURCE=$MODULE-$VERSION.tar.gz
       SOURCE_URL=http://coq.inria.fr/distrib/V${VERSION}/files/
-      SOURCE_VFY=sha1:adcef430b8e27663e8ea075e646112f7d4d51fa6
+      SOURCE_VFY=sha256:35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245
         WEB_SITE=http://coq.inria.fr/
          ENTERED=20110829
-         UPDATED=20130504
+         UPDATED=20141029
            SHORT="COQ is an interactive proof assistant"
 
 cat << EOF
--- /dev/null
+++ b/compilers/coq/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+
+sedit 's/{w|/{ w|/' kernel/univ.ml




More information about the Lunar-commits mailing list