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

[v4hn]

commit eaa313b16ef185b1023f5ba198f55a13a445a00e
Author: v4hn <me at v4hn.de>
Date: Fri, 22 Mar 2013 08:18:28 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/eaa313b16ef185b1023f5ba198f55a13a445a00e

coq: version bumped to 8.4pl1
---
  compilers/coq/BUILD   | +4/-10    
  compilers/coq/DETAILS | +3/-6     
  2 files changed, 7 insertions(+), 16 deletions(-)

--- 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
--- 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