From de6f880ed11603a6ed4b1a67d4e0aae86037de4e Mon Sep 17 00:00:00 2001 From: Markus Groß Date: Sun, 15 Aug 2010 16:35:04 +0200 Subject: Updated stp to revision 986 Signed-off-by: Adam Vandenberg --- Library/Formula/stp.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Library/Formula') diff --git a/Library/Formula/stp.rb b/Library/Formula/stp.rb index 7c0c501c2..b4ae202ce 100644 --- a/Library/Formula/stp.rb +++ b/Library/Formula/stp.rb @@ -1,7 +1,7 @@ require 'formula' class Stp < Formula - head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '842' + head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '986' homepage 'http://sites.google.com/site/stpfastprover/' def options -- cgit v1.2.3