Permalink
Browse files

eprover 1.6

  • Loading branch information...
1 parent 12bcd19 commit 5509074719901cdefe3ba95b9fc9bcf7a6fabeb8 @asparagui committed Aug 5, 2012
Showing with 3 additions and 3 deletions.
  1. +3 −3 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.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}"

0 comments on commit 5509074

Please sign in to comment.