Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs17:/tmp/cvs-serv26553
Modified Files:
prover9.info
Log Message:
Update from tracker
http://sourceforge.net/tracker/index.php?func=detail&aid=1785343&group_id=17203&atid=414256
Index: prover9.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/prover9.info,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- prover9.info 11 May 2007 00:23:24 -0000 1.4
+++ prover9.info 12 Sep 2007 01:23:04 -0000 1.5
@@ -1,15 +1,15 @@
Package: prover9
Description: Prove theorems and build models
-Version: 2007-04
+Version: 2007-08
Revision: 1
License: OSI-Approved
-Source: http://www.cs.unm.edu/~mccune/prover9/download/LADR-April-2007.tar.gz
-Source-MD5: bd82b3517c4ef871762b3be45ece711d
-SourceDirectory: LADR-April-2007
-Source2: http://www.cs.unm.edu/~mccune/prover9/manual/%n-manual-0407.tar.gz
-Source2-MD5: 07c582af7a9bfd6b5b42220384fcc287
-Source2ExtractDir: LADR-April-2007
-DocFiles: %n-manual-0407/*.html
+Source: http://www.cs.unm.edu/~mccune/prover9/download/LADR-Aug-2007.tar.gz
+Source-MD5: c01bbeda8ddb4ce9155c15d565b57fdb
+SourceDirectory: LADR-Aug-2007
+Source2: http://www.cs.unm.edu/~mccune/prover9/manual/%n-manual-0807.tar.gz
+Source2-MD5: a0dd82172a6fe4314e61a3afe44c9e39
+Source2ExtractDir: LADR-Aug-2007
+DocFiles: %n-manual-0807/*.html
CompileScript: <<
make all
<<
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Fink-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/fink-commits
