diff options
| author | bellbind | 2012-08-08 17:32:28 +0900 |
|---|---|---|
| committer | Adam Vandenberg | 2012-08-08 07:03:08 -0700 |
| commit | 96dbc95af0ddc51c0e66a0c60f131636ca24ddd7 (patch) | |
| tree | 7049d75f341b64cdd1df46c1d292debcda29094b /Library/Formula | |
| parent | ed5815bea79b825b9102b75b1ac0d5719067d14c (diff) | |
| download | homebrew-96dbc95af0ddc51c0e66a0c60f131636ca24ddd7.tar.bz2 | |
coq-8.3pl4
Closes #14043.
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 88e45c927..571b0fa9e 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -19,9 +19,9 @@ end class Coq < Formula homepage 'http://coq.inria.fr/' - url 'http://coq.inria.fr/distrib/V8.3pl3/files/coq-8.3pl3.tar.gz' - version '8.3pl3' - md5 '37e9a52110a025128667c03fed75f9c2' + url 'http://coq.inria.fr/distrib/V8.3pl4/files/coq-8.3pl4.tar.gz' + version '8.3pl4' + md5 '88e2ce021b09eca207e3119d5202a695' head 'svn://scm.gforge.inria.fr/svn/coq/trunk' skip_clean :all |