wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

eprover 1.7

Browse source 
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
This commit is contained in:
Brett Koonce 2013-03-30 11:20:47 -05:00 committed by Jack Nagel
parent 0239a3a540
commit a77ab3b0eb
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Formula/eprover.rb
View file

@ -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.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}"