diff options
| author | Brett Koonce | 2012-08-04 22:28:05 -0500 |
|---|---|---|
| committer | Adam Vandenberg | 2012-08-05 20:57:44 -0700 |
| commit | 36e92b70156a75f2b6a88d29cf2e6057f8995fa7 (patch) | |
| tree | 1d0bcddbeb44e376503d703d2e83a444c4f0af9d /Library/Formula/eprover.rb | |
| parent | 79842dbcac74e60279df6789716bfb4a68e5385c (diff) | |
| download | homebrew-36e92b70156a75f2b6a88d29cf2e6057f8995fa7.tar.bz2 | |
eprover 1.6
Closes #13976.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula/eprover.rb')
| -rw-r--r-- | Library/Formula/eprover.rb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Library/Formula/eprover.rb b/Library/Formula/eprover.rb index 5601f8dcf..3f6f62c6f 100644 --- a/Library/Formula/eprover.rb +++ b/Library/Formula/eprover.rb @@ -2,9 +2,9 @@ require 'formula' class Eprover < Formula homepage 'http://www4.informatik.tu-muenchen.de/~schulz/E/E.html' - url 'http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.4/E.tgz' - version '1.4' - md5 '4da7b0c06dddd96ce8ffeb77462d7f77' + url 'http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.6/E.tgz' + version '1.6' + sha1 'd70add47b1a71ee2139d7e56a9118483dfc79ff5' def install system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}" |