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

[v4hn]

commit f6bd98c7b5fb62c7d01e276d1ef6f53f1f27f578
Author: v4hn <me at v4hn.de>
Date: Fri, 12 Oct 2012 17:54:29 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/f6bd98c7b5fb62c7d01e276d1ef6f53f1f27f578

coq: version bumped
---
  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.3pl2
+         VERSION=8.4
           SOURCE=$MODULE-$VERSION.tar.gz
       SOURCE_URL=http://coq.inria.fr/distrib/V${VERSION}/files/
-      SOURCE_VFY=sha1:8506761e4755739cc728aff790dd778db8217f3f
+      SOURCE_VFY=sha1:2987aa418dd96a0df7284afe296293cb28814ef5
         WEB_SITE=http://coq.inria.fr/
          ENTERED=20110829
-         UPDATED=20110829
+         UPDATED=20121013
            SHORT="COQ is an interactive proof assistant"
 cat << EOF
 COQ is a Proof Assistant for a Logical Framework known as the Calculus of