Permalink
Browse files

coq 8.4pl1

Closes #16861.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
  • Loading branch information...
1 parent 866e4be commit ea4dfaba17dd3e404354bacbb6eccaf49af675b0 Jonas B. Jensen committed with klausmeyer Jan 3, 2013
Showing with 3 additions and 2 deletions.
  1. +3 −2 Library/Formula/coq.rb
View
@@ -19,8 +19,9 @@ def fatal?
class Coq < Formula
homepage 'http://coq.inria.fr/'
- url 'http://coq.inria.fr/distrib/V8.4/files/coq-8.4.tar.gz'
- sha1 '2987aa418dd96a0df7284afe296293cb28814ef5'
+ url 'http://coq.inria.fr/distrib/V8.4pl1/files/coq-8.4pl1.tar.gz'
+ version '8.4pl1'
+ sha1 '23d403dbe9e410a99c584d0210dc527950051679'
head 'svn://scm.gforge.inria.fr/svn/coq/trunk'

0 comments on commit ea4dfab

Please sign in to comment.