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

[v4hn]

commit 2d840136d6b1200ba7c6396b46b9180bafb63af3
Author: v4hn <me at v4hn.de>
Date: Sat, 04 May 2013 09:32:53 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/2d840136d6b1200ba7c6396b46b9180bafb63af3

coq: version update
---
  compilers/coq/DETAILS | +3/-3     
  1 file changed, 3 insertions(+), 3 deletions(-)

--- a/compilers/coq/DETAILS
+++ b/compilers/coq/DETAILS
@@ -1,11 +1,11 @@
           MODULE=coq
-         VERSION=8.4pl1
+         VERSION=8.4pl2
           SOURCE=$MODULE-$VERSION.tar.gz
       SOURCE_URL=http://coq.inria.fr/distrib/V${VERSION}/files/
-      SOURCE_VFY=sha1:23d403dbe9e410a99c584d0210dc527950051679
+      SOURCE_VFY=sha1:adcef430b8e27663e8ea075e646112f7d4d51fa6
         WEB_SITE=http://coq.inria.fr/
          ENTERED=20110829
-         UPDATED=20130322
+         UPDATED=20130504
            SHORT="COQ is an interactive proof assistant"
 
 cat << EOF