From 175bb718c0df6600eebffc3e4a201e3e1c16db10 Mon Sep 17 00:00:00 2001 From: Brett Koonce Date: Sat, 17 Aug 2013 18:48:35 -0500 Subject: eprover 1.8 Signed-off-by: Adam Vandenberg --- Library/Formula/eprover.rb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Library') 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}" -- cgit v1.2.3