Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv11594
Modified Files:
tptp.info
Log Message:
Clean up the package by using wildcards and referring to directories without
trailing '/' characters.
Thanks to Hanspeter Niederstrasse for the tips.
Index: tptp.info
===================================================================
RCS file: /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci/tptp.info,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- tptp.info 25 Sep 2013 08:53:36 -0000 1.2
+++ tptp.info 26 Sep 2013 08:25:56 -0000 1.3
@@ -2,7 +2,7 @@
Description: Thousands of Problems for Theorem Provers
Homepage: http://www.tptp.org
Version: 6.0.0
-Revision: 2
+Revision: 3
License: Commercial
Source: http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v%v.tgz
Source-MD5: d822bead5549f89ebd020be9d9e023c0
@@ -84,49 +84,7 @@
Depends: swi-prolog, gawk
Files: <<
bin/tptp2x
- lib/tptp/format.bliksem
- lib/tptp/format.carine
- lib/tptp/format.clif
- lib/tptp/format.clin-s
- lib/tptp/format.code
- lib/tptp/format.dedam
- lib/tptp/format.dfg
- lib/tptp/format.dimacs
- lib/tptp/format.eqp
- lib/tptp/format.finder
- lib/tptp/format.ftprolog
- lib/tptp/format.geo
- lib/tptp/format.hol
- lib/tptp/format.ilf
- lib/tptp/format.isabelle
- lib/tptp/format.kif
- lib/tptp/format.leancop
- lib/tptp/format.leantap
- lib/tptp/format.lf
- lib/tptp/format.lf.florian
- lib/tptp/format.metitarski
- lib/tptp/format.mgtp
- lib/tptp/format.oldtptp
- lib/tptp/format.omdoc
- lib/tptp/format.oscar
- lib/tptp/format.otter
- lib/tptp/format.prefix
- lib/tptp/format.protein
- lib/tptp/format.prover9
- lib/tptp/format.pttp
- lib/tptp/format.satchmo
- lib/tptp/format.scott
- lib/tptp/format.sem
- lib/tptp/format.setheo
- lib/tptp/format.sex
- lib/tptp/format.smt
- lib/tptp/format.smt1
- lib/tptp/format.sprfn
- lib/tptp/format.tap
- lib/tptp/format.thinker
- lib/tptp/format.tps
- lib/tptp/format.tptp
- lib/tptp/format.waldmeister
+ lib/tptp/format.*
<<
DocFiles: TPTP2X/ReadMe
<<
@@ -135,104 +93,18 @@
Description: Generate theorem proving problems
Recommends: swi-prolog
Files: <<
- lib/tptp/GRP123-1.g
- lib/tptp/GRP123-2.g
- lib/tptp/GRP123-3.g
- lib/tptp/GRP123-4.g
- lib/tptp/GRP123-6.g
- lib/tptp/GRP123-7.g
- lib/tptp/GRP123-8.g
- lib/tptp/GRP123-9.g
- lib/tptp/GRP124-1.g
- lib/tptp/GRP124-2.g
- lib/tptp/GRP124-3.g
- lib/tptp/GRP124-4.g
- lib/tptp/GRP124-6.g
- lib/tptp/GRP124-7.g
- lib/tptp/GRP124-8.g
- lib/tptp/GRP124-9.g
- lib/tptp/GRP125-1.g
- lib/tptp/GRP125-2.g
- lib/tptp/GRP125-3.g
- lib/tptp/GRP125-4.g
- lib/tptp/GRP126-1.g
- lib/tptp/GRP126-2.g
- lib/tptp/GRP126-3.g
- lib/tptp/GRP126-4.g
- lib/tptp/GRP127-1.g
- lib/tptp/GRP127-2.g
- lib/tptp/GRP127-3.g
- lib/tptp/GRP127-4.g
- lib/tptp/GRP128-1.g
- lib/tptp/GRP128-2.g
- lib/tptp/GRP128-3.g
- lib/tptp/GRP128-4.g
- lib/tptp/GRP129-1.g
- lib/tptp/GRP129-2.g
- lib/tptp/GRP129-3.g
- lib/tptp/GRP129-4.g
- lib/tptp/GRP130-1.g
- lib/tptp/GRP130-2.g
- lib/tptp/GRP130-3.g
- lib/tptp/GRP130-4.g
- lib/tptp/GRP131-1.g
- lib/tptp/GRP131-2.g
- lib/tptp/GRP132-1.g
- lib/tptp/GRP132-2.g
- lib/tptp/GRP133-1.g
- lib/tptp/GRP133-2.g
- lib/tptp/GRP134-1.g
- lib/tptp/GRP134-2.g
- lib/tptp/GRP135-1.g
- lib/tptp/GRP135-2.g
- lib/tptp/MSC007-1.g
- lib/tptp/MSC007-2.g
- lib/tptp/MSC008-1.g
- lib/tptp/NUM283-1.g
- lib/tptp/NUM284-1.g
- lib/tptp/PUZ015-2.g
- lib/tptp/PUZ016-2.g
- lib/tptp/PUZ034-1.g
- lib/tptp/PUZ036-1.g
- lib/tptp/SYN001-1.g
- lib/tptp/SYN002-1.g
- lib/tptp/SYN003-1.g
- lib/tptp/SYN004-1.g
- lib/tptp/SYN005-1.g
- lib/tptp/SYN007+1.g
- lib/tptp/SYN010-1.g
- lib/tptp/SYN085-1.g
- lib/tptp/SYN086-1.g
- lib/tptp/SYN087-1.g
- lib/tptp/SYN088-1.g
- lib/tptp/SYN089-1.g
- lib/tptp/SYN090-1.g
- lib/tptp/SYN091-1.g
- lib/tptp/SYN092-1.g
- lib/tptp/SYN093-1.g
- lib/tptp/SYN094-1.g
- lib/tptp/SYN095-1.g
- lib/tptp/SYN096-1.g
- lib/tptp/SYN097-1.g
- lib/tptp/SYN098-1.g
- lib/tptp/SYN099-1.g
- lib/tptp/SYN100-1.g
- lib/tptp/SYN101-1.g
- lib/tptp/SYN102-1.g
- lib/tptp/SYN302-1.g
- lib/tptp/SYN313-1.g
- lib/tptp/SYN314-1.g
+ lib/tptp/*.g
<<
<<
SplitOff3: <<
Package: tptp-axioms
Description: Axioms for the TPTP Problem Library
- Files: share/tptp/Axioms/
+ Files: share/tptp/Axioms
Suggests: tptp-problems
<<
SplitOff4: <<
Package: tptp-problems
Description: The TPTP Problem Library
Depends: tptp-axioms
- Files: share/tptp/Problems/
+ Files: share/tptp/Problems
<<
\ No newline at end of file
------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60133471&iu=/4140/ostg.clktrk
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
