diff options
| author | Austin Seipp | 2011-07-14 11:56:47 -0500 |
|---|---|---|
| committer | Adam Vandenberg | 2011-07-29 09:12:14 -0700 |
| commit | b197869d748df90d4dc2f2adfdb488c37b4998d0 (patch) | |
| tree | 0c0d6d1c3b2ad744f98f4063ec532f664316f49b /Library | |
| parent | 97097daa5250a6ecf2ea462be54e36eddc28cb3f (diff) | |
| download | homebrew-b197869d748df90d4dc2f2adfdb488c37b4998d0.tar.bz2 | |
coq 8.3pl2
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library')
| -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 5d41a70b5..87ccac7e5 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -1,10 +1,11 @@ require 'formula' class Coq < Formula - url 'http://coq.inria.fr/distrib/V8.3/files/coq-8.3.tar.gz' + url 'http://coq.inria.fr/distrib/V8.3pl2/files/coq-8.3pl2.tar.gz' + version '8.3pl2' head 'svn://scm.gforge.inria.fr/svn/coq/trunk' homepage 'http://coq.inria.fr/' - md5 '14b80e6b7075adf1516ab931202be8df' + md5 'db415f6c5372f5a443699c62f5affcb4' skip_clean :all |