diff options
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}" |