diff options
| author | Jack Nagel | 2013-04-07 14:18:35 -0500 |
|---|---|---|
| committer | Jack Nagel | 2013-04-07 14:18:35 -0500 |
| commit | 1eb59c0e8bc4a54cf804de415750626d3d23c1b6 (patch) | |
| tree | 6be4484ca0e04f7fd27d07c5407dc4ea537b447f | |
| parent | 45ae65fa35e70c50e1f3cdc5ee00bf1fd7eca8c1 (diff) | |
| download | homebrew-1eb59c0e8bc4a54cf804de415750626d3d23c1b6.tar.bz2 | |
coq: fix URL
| -rw-r--r-- | Library/Formula/coq.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 7c92d627c..ff82c2b76 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -18,7 +18,7 @@ end class Coq < Formula homepage 'http://coq.inria.fr/' - url 'http://coq.inria.fr/distrib/V8.4pl1/files/coq-8.4pl2.tar.gz' + url 'http://coq.inria.fr/distrib/V8.4pl2/files/coq-8.4pl2.tar.gz' version '8.4pl2' sha1 'adcef430b8e27663e8ea075e646112f7d4d51fa6' |