eprover 1.7

asparagui · Mar 30, 2013 · 6a65374 · 6a65374
1 parent 9b1e676
commit 6a65374
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Library/Formula/eprover.rb b/Library/Formula/eprover.rb
@@ -2,9 +2,9 @@
 
 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.6/E.tgz'
-  version '1.6'
-  sha1 'd70add47b1a71ee2139d7e56a9118483dfc79ff5'
+  url 'http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.7/E.tgz'
+  version '1.7'
+  sha1 '66b0160a80d41cae2a8838ccc3af0510eda8d0e4'
 
   def install
     system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}"