diff options
| author | Brett Koonce | 2013-08-17 18:48:35 -0500 |
|---|---|---|
| committer | Adam Vandenberg | 2013-08-18 11:52:08 -0700 |
| commit | 175bb718c0df6600eebffc3e4a201e3e1c16db10 (patch) | |
| tree | 2184a587267fa2667e17ae0680d0160a8222369f /Library/Formula | |
| parent | 38a76b1b95f6d979c08d196b51368a09289daa33 (diff) | |
| download | homebrew-175bb718c0df6600eebffc3e4a201e3e1c16db10.tar.bz2 | |
eprover 1.8
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula')
| -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 1638de722..e4a5b3d40 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.7/E.tgz' - version '1.7' - sha1 '66b0160a80d41cae2a8838ccc3af0510eda8d0e4' + url 'http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.8/E.tgz' + version '1.8' + sha1 '43cec71bc1187798352036b550794a4d03137f87' def install system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}" |