diff options
| author | Duckki Oe | 2013-04-05 17:15:52 -0300 |
|---|---|---|
| committer | Jack Nagel | 2013-04-07 14:15:47 -0500 |
| commit | 4be431a11bc3a99d13e9e63626abf6060bca8201 (patch) | |
| tree | 27ea746937cfbbbf59fa40934759102624d85ecd | |
| parent | b3df20fef50ebbb417c6d3aa87162b45489dc5d3 (diff) | |
| download | homebrew-4be431a11bc3a99d13e9e63626abf6060bca8201.tar.bz2 | |
updated coq version to 8.4pl2
Closes #18999.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
| -rw-r--r-- | Library/Formula/coq.rb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index c8759abec..7c92d627c 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -18,9 +18,9 @@ end class Coq < Formula homepage 'http://coq.inria.fr/' - url 'http://coq.inria.fr/distrib/V8.4pl1/files/coq-8.4pl1.tar.gz' - version '8.4pl1' - sha1 '23d403dbe9e410a99c584d0210dc527950051679' + url 'http://coq.inria.fr/distrib/V8.4pl1/files/coq-8.4pl2.tar.gz' + version '8.4pl2' + sha1 'adcef430b8e27663e8ea075e646112f7d4d51fa6' head 'svn://scm.gforge.inria.fr/svn/coq/trunk' |