diff options
| author | Markus Groß | 2010-06-14 09:05:31 +0200 |
|---|---|---|
| committer | Adam Vandenberg | 2010-08-08 12:23:21 -0700 |
| commit | 1406ac88c5ea75f1bd940307335e559d97d9ce88 (patch) | |
| tree | adb63f65354c5e18d2dbfe17c70aaf562a18ba63 /Library/Formula | |
| parent | c1efc5b68e077500c0fe778210decbb9f7679a00 (diff) | |
| download | homebrew-1406ac88c5ea75f1bd940307335e559d97d9ce88.tar.bz2 | |
Updated stp to revision 842.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula')
| -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 7f301260d..7c0c501c2 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 => '774' + head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '842' homepage 'http://sites.google.com/site/stpfastprover/' def options |