diff options
| author | Josh Tilles | 2013-12-24 14:54:54 -0500 |
|---|---|---|
| committer | Mike McQuaid | 2013-12-25 12:59:54 +0000 |
| commit | bb5abbc63ffb02d06cb2dff195267dec77d5c7f6 (patch) | |
| tree | b10336ae5d34ae93658279b419431d801f11713a | |
| parent | ec3f288f83fbba6463cd21ad74e5d9e0ce61d6de (diff) | |
| download | homebrew-bb5abbc63ffb02d06cb2dff195267dec77d5c7f6.tar.bz2 | |
coq 8.4pl3
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
| -rw-r--r-- | Library/Formula/coq.rb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 962891630..4411b7194 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -16,11 +16,11 @@ end class Coq < Formula homepage 'http://coq.inria.fr/' - url 'http://coq.inria.fr/distrib/V8.4pl2/files/coq-8.4pl2.tar.gz' - version '8.4pl2' - sha1 'adcef430b8e27663e8ea075e646112f7d4d51fa6' + url 'http://coq.inria.fr/distrib/V8.4pl3/files/coq-8.4pl3.tar.gz' + version '8.4pl3' + sha1 'b7d7f49412b0b9827bc461a78b5340e69cc0d3f4' - head 'svn://scm.gforge.inria.fr/svn/coq/trunk' + head 'git://scm.gforge.inria.fr/coq/coq.git' depends_on TransitionalMode depends_on 'objective-caml' |