Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv8786
Modified Files:
prover9.info
Log Message:
Update from tracker
https://sourceforge.net/tracker/index.php?func=detail&aid=2173367&group_id=17203&atid=414256
Tested on 10.5.5/PowerPC
Index: prover9.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/prover9.info,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -d -r1.6 -r1.7
--- prover9.info 7 Feb 2008 14:26:07 -0000 1.6
+++ prover9.info 7 Dec 2008 22:03:44 -0000 1.7
@@ -1,14 +1,14 @@
Package: prover9
Description: Prove theorems and build models
-Version: 2007-12
+Version: 2008-09a
Revision: 1
License: OSI-Approved
-Source: http://www.cs.unm.edu/~mccune/prover9/download/LADR-Dec-2007.tar.gz
-Source-MD5: 6e2896ed4cce4556bfcc321778df5dfe
-SourceDirectory: LADR-Dec-2007
-Source2: http://www.cs.unm.edu/~mccune/prover9/manual/%n-manual-1207.tar.gz
-Source2-MD5: 452b4888813eca1e6219d8af142c94a2
-Source2ExtractDir: LADR-Dec-2007
+Source: http://www.cs.unm.edu/~mccune/prover9/download/LADR-2008-09A.tar.gz
+Source-MD5: 96cc67eae8f485c22d01449fd2639dae
+SourceDirectory: LADR-2008-09A
+Source2: http://www.cs.unm.edu/~mccune/prover9/manual/%n-manual-2008-09A.tar.gz
+Source2-MD5: ed0dbb581b614cdfdcbb9a5ff8b5f472
+Source2ExtractDir: LADR-2008-09A
CompileScript: <<
make all
<<
@@ -41,7 +41,7 @@
# Documentation and examples
mkdir -p %i/share/doc/prover9
- cp -R manual/* %i/share/doc/prover9
+ cp -R %n-manual-2008-09A/* %i/share/doc/prover9
<<
DescDetail: <<
Prover9 is an automated theorem prover for first-order and equational
------------------------------------------------------------------------------
SF.Net email is Sponsored by MIX09, March 18-20, 2009 in Las Vegas, Nevada.
The future of the web can't happen without you. Join us at MIX09 to help
pave the way to the Next Web now. Learn more and register at
http://ad.doubleclick.net/clk;208669438;13503038;i?http://2009.visitmix.com/
_______________________________________________
Fink-commits mailing list
[email protected]
http://news.gmane.org/gmane.os.apple.fink.cvs
