diff options
| author | Jonas B. Jensen | 2013-01-03 09:11:47 +0100 |
|---|---|---|
| committer | Adam Vandenberg | 2013-01-03 07:48:21 -0800 |
| commit | d36eea4007e247b4cdb9ca163d4f1852bc4b7486 (patch) | |
| tree | f4c2fd039a14dd3f2f15cceac58b337f0510f3cf /Library/Formula/coq.rb | |
| parent | f584191c5cc5b8b3c0b53fe6779dbad9e9dde5f8 (diff) | |
| download | homebrew-d36eea4007e247b4cdb9ca163d4f1852bc4b7486.tar.bz2 | |
coq 8.4pl1
Closes #16861.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula/coq.rb')
| -rw-r--r-- | Library/Formula/coq.rb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 957806c0d..4505fa9da 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -19,8 +19,9 @@ end 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' |