Updated stp to revision 842.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2010-06-14 09:05:31 +02:00 · 2010-06-14 09:05:31 +02:00 · af3107e131
parent 050cd6dc0e
commit af3107e131
1 changed files with 1 additions and 1 deletions
--- a/Formula/stp.rb
+++ b/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