diff options
| author | Michael Dippery | 2010-11-05 16:58:58 -0400 |
|---|---|---|
| committer | Adam Vandenberg | 2010-11-05 19:42:08 -0700 |
| commit | 8d2cfb2208fda186c217289fe93d43b35e6bd6ea (patch) | |
| tree | bd37e3d69fb74c852d856148f87218ba894f4d77 /Library/Formula/coq.rb | |
| parent | cee86965e43e1d840a98d750cfeb3221f05ea48e (diff) | |
| download | homebrew-8d2cfb2208fda186c217289fe93d43b35e6bd6ea.tar.bz2 | |
coq: Upgrade to v8.3
I also added the HEAD version.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula/coq.rb')
| -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 6fece4878..c2cbced51 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -1,10 +1,10 @@ require 'formula' class Coq < Formula - url 'http://coq.inria.fr/distrib/V8.2pl2/files/coq-8.2pl2.tar.gz' + url 'http://coq.inria.fr/distrib/V8.3/files/coq-8.3.tar.gz' + head 'svn://scm.gforge.inria.fr/svn/coq/trunk' homepage 'http://coq.inria.fr/' - md5 '0fa1bcce3ab83d95571d2094f5091e6b' - version '8.2' + md5 '14b80e6b7075adf1516ab931202be8df' depends_on 'objective-caml' depends_on 'camlp5' |