diff options
| author | Pedro Borges | 2012-03-12 23:26:29 +0000 |
|---|---|---|
| committer | Adam Vandenberg | 2012-03-12 19:22:08 -0700 |
| commit | 229c5c3e2079a334577b586092002cbb6ed484a8 (patch) | |
| tree | 0073fa7038d835efd4293481be7d9406be38fa31 /Library/Formula | |
| parent | 8b4d85f6095d97135b6d61e3ba2d7ebc6f7cd10a (diff) | |
| download | homebrew-229c5c3e2079a334577b586092002cbb6ed484a8.tar.bz2 | |
coq 8.3pl3
Bugfix release
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula')
| -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 87ccac7e5..78e272877 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -1,11 +1,11 @@ require 'formula' class Coq < Formula - url 'http://coq.inria.fr/distrib/V8.3pl2/files/coq-8.3pl2.tar.gz' - version '8.3pl2' + url 'http://coq.inria.fr/distrib/V8.3pl3/files/coq-8.3pl3.tar.gz' + version '8.3pl3' head 'svn://scm.gforge.inria.fr/svn/coq/trunk' homepage 'http://coq.inria.fr/' - md5 'db415f6c5372f5a443699c62f5affcb4' + md5 '37e9a52110a025128667c03fed75f9c2' skip_clean :all |