Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

coq: version update

  • Loading branch information...
commit 2d840136d6b1200ba7c6396b46b9180bafb63af3 1 parent 666a136
@v4hn v4hn authored
Showing with 3 additions and 3 deletions.
  1. +3 −3 compilers/coq/DETAILS
View
6 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
Please sign in to comment.
Something went wrong with that request. Please try again.