coq: version bumped to 8.4pl1

lunar-linux · Mar 22, 2013 · eaa313b · eaa313b
1 parent bda7e71
commit eaa313b
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 16 deletions.
diff --git a/compilers/coq/BUILD b/compilers/coq/BUILD
@@ -1,10 +1,4 @@
-(
-
- patch_it $SOURCE2 1 &&
-
- ./configure -prefix /usr -configdir /etc $OPTS &&
- make world      &&
- prepare_install &&
- make install
-
-) > $C_FIFO 2>&1
+./configure -prefix /usr -configdir /etc $OPTS &&
+make world      &&
+prepare_install &&
+make install
diff --git a/compilers/coq/DETAILS b/compilers/coq/DETAILS
@@ -1,14 +1,11 @@
           MODULE=coq
-         VERSION=8.4
+         VERSION=8.4pl1
           SOURCE=$MODULE-$VERSION.tar.gz
-         SOURCE2=$MODULE-lablgtk216.patch
       SOURCE_URL=http://coq.inria.fr/distrib/V${VERSION}/files/
-     SOURCE2_URL=$PATCH_URL
-      SOURCE_VFY=sha1:2987aa418dd96a0df7284afe296293cb28814ef5
-     SOURCE2_VFY=sha1:d292e02ee556e7bd4e271c616619b697495015dc
+      SOURCE_VFY=sha1:23d403dbe9e410a99c584d0210dc527950051679
         WEB_SITE=http://coq.inria.fr/
          ENTERED=20110829
-         UPDATED=20121013
+         UPDATED=20130322
            SHORT="COQ is an interactive proof assistant"
 
 cat << EOF