diff options
| author | Markus Groß | 2010-08-15 16:35:04 +0200 |
|---|---|---|
| committer | Adam Vandenberg | 2010-08-15 10:12:03 -0700 |
| commit | de6f880ed11603a6ed4b1a67d4e0aae86037de4e (patch) | |
| tree | cc4a6f66164b145eae969b98d2487e2edb3274ca | |
| parent | 5c9b634202e86ca6ed377d5150e6593160224461 (diff) | |
| download | homebrew-de6f880ed11603a6ed4b1a67d4e0aae86037de4e.tar.bz2 | |
Updated stp to revision 986
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
| -rw-r--r-- | Library/Formula/stp.rb | 2 |
1 files changed, 1 insertions, 1 deletions
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 |