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

eprover 1.6

Browse source 
Closes Homebrew/homebrew#13976.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
This commit is contained in:
Brett Koonce 2012-08-04 22:28:05 -05:00 committed by Adam Vandenberg
parent 55674c9fde
commit 43e3d90259
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 class Eprover < Formula
homepage 'http://www4.informatik.tu-muenchen.de/~schulz/E/E.html' 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' url 'http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.6/E.tgz'
version '1.4' version '1.6'
md5 '4da7b0c06dddd96ce8ffeb77462d7f77' sha1 'd70add47b1a71ee2139d7e56a9118483dfc79ff5'
def install def install
system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}" system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}"