Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory vz-cvs-3.sog:/tmp/cvs-serv25980
Added Files:
spass.info spass.patch
Log Message:
Migrate to 10.7.
--- NEW FILE: spass.info ---
Package: spass
Description: Theorem prover for first-order logic
Version: 3.7
Revision: 1
BuildDepends: fink (>= 0.24.12)
Homepage: http://www.spass-prover.org/
Maintainer: Jesse Alama <jesse.al...@gmail.com>
License: OSI-Approved
Source: http://www.spass-prover.org/download/sources/spass37.tgz
Source-MD5: 6505f4f3ad91cc289d9dd73889ebb304
PatchFile: %n.patch
PatchFile-MD5: f9c8bf0c2465b58987e69a0110ab62b4
SourceDirectory: SPASS-%v
InstallScript: <<
make install DESTDIR=%d
mv %d/%p/share/info/script.info %d/%p/share/info/spass.info
<<
DocFiles: LICENCE VERSIONHISTORY
InfoDocs: spass.info
DescDetail: <<
If you are interested in first-order logic theorem proving, the formal
analysis of software, systems, protocols, formal approaches to AI
planning, decision procedures, modal logic theorem proving, SPASS may
offer you the right functionality.
If you are interested in sex, drugs, rock'n roll or fish, even though
our logo contains a nice drawing of Opistognathus Latitabunda, you may
be disappointed by the performance of SPASS.
<<
--- NEW FILE: spass.patch ---
diff -Naur --exclude='*~' SPASS-3.7/doc/texinfo/script.info
SPASS-3.7.fink/doc/texinfo/script.info
--- SPASS-3.7/doc/texinfo/script.info 2010-02-23 12:43:13.000000000 +0000
+++ SPASS-3.7.fink/doc/texinfo/script.info 2010-08-09 23:47:04.000000000
+0100
@@ -1,7 +1,12 @@
-This is doc/texinfo/script.info, produced by makeinfo version 4.11 from
./doc/texinfo/script.texi.
+This is doc/texinfo/spass.info, produced by makeinfo version 4.11 from
./doc/texinfo/script.texi.
+
+INFO-DIR-SECTION Theorem proving
+START-INFO-DIR-ENTRY
+* spass: (spass). Theorem prover for first-order logic with equality.
+END-INFO-DIR-ENTRY
-File: script.info, Node: Top, Up: (dir)
+File: spass.info, Node: Top, Up: (dir)
* Menu:
@@ -24,7 +29,7 @@
* spassfaq:: frequently asked questions about SPASS
-File: script.info, Node: SPASS, Next: checkstat, Prev: Top, Up: Top
+File: spass.info, Node: SPASS, Next: checkstat, Prev: Top, Up: Top
1 SPASS
*******
@@ -695,7 +700,7 @@
tpget(1), deprose(1), dfg2otter(1), dfg2otterpl(1), dfg2dfg(1)
-File: script.info, Node: checkstat, Next: filestat, Prev: SPASS, Up: Top
+File: spass.info, Node: checkstat, Next: filestat, Prev: SPASS, Up: Top
2 checkstat
***********
@@ -876,7 +881,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
-File: script.info, Node: filestat, Next: pcs, Prev: checkstat, Up: Top
+File: spass.info, Node: filestat, Next: pcs, Prev: checkstat, Up: Top
3 filestat
**********
@@ -927,7 +932,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
-File: script.info, Node: pcs, Next: pgen, Prev: filestat, Up: Top
+File: spass.info, Node: pcs, Next: pgen, Prev: filestat, Up: Top
4 pcs
*****
@@ -1063,7 +1068,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
-File: script.info, Node: pgen, Next: rescmp, Prev: pcs, Up: Top
+File: spass.info, Node: pgen, Next: rescmp, Prev: pcs, Up: Top
5 pgen
******
@@ -1147,7 +1152,7 @@
Write tableau representation in xvcg format.
-File: script.info, Node: daVinci and VCG, Up: Top
+File: spass.info, Node: daVinci and VCG, Up: Top
5.5 DAVINCI AND VCG
====================
@@ -1177,7 +1182,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
-File: script.info, Node: rescmp, Next: tpform, Prev: pgen, Up: Top
+File: spass.info, Node: rescmp, Next: tpform, Prev: pgen, Up: Top
6 rescmp
********
@@ -1225,7 +1230,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
-File: script.info, Node: tpform, Next: tpget, Prev: rescmp, Up: Top
+File: spass.info, Node: tpform, Next: tpget, Prev: rescmp, Up: Top
7 tpform
********
@@ -1315,7 +1320,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
-File: script.info, Node: tpget, Next: deprose, Prev: tpform, Up: Top
+File: spass.info, Node: tpget, Next: deprose, Prev: tpform, Up: Top
8 tpget
*******
@@ -1372,7 +1377,7 @@
deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
-File: script.info, Node: deprose, Next: dfg2ascii, Prev: tpget, Up: Top
+File: spass.info, Node: deprose, Next: dfg2ascii, Prev: tpget, Up: Top
9 deprose
*********
@@ -1420,7 +1425,7 @@
tpget(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
-File: script.info, Node: dfg2ascii, Next: dfg2otter, Prev: deprose, Up: Top
+File: spass.info, Node: dfg2ascii, Next: dfg2otter, Prev: deprose, Up: Top
10 dfg2ascii
************
@@ -1456,7 +1461,7 @@
tpget(1), deprose(1), dfg2otter(1), SPASS(1)
-File: script.info, Node: dfg2otter, Next: dfg2otter.pl, Prev: dfg2ascii,
Up: Top
+File: spass.info, Node: dfg2otter, Next: dfg2otter.pl, Prev: dfg2ascii,
Up: Top
11 dfg2otter
************
@@ -1497,7 +1502,7 @@
tpget(1), deprose(1), dfg2otter.pl(1), SPASS(1)
-File: script.info, Node: dfg2otter.pl, Next: dfg2dfg, Prev: dfg2otter, Up:
Top
+File: spass.info, Node: dfg2otter.pl, Next: dfg2dfg, Prev: dfg2otter, Up:
Top
12 dfg2otter.pl
***************
@@ -1543,7 +1548,7 @@
tpget(1), deprose(1), dfg2otter(1), SPASS(1)
-File: script.info, Node: dfg2dfg, Next: dfg2tptp, Prev: dfg2otter.pl, Up:
Top
+File: spass.info, Node: dfg2dfg, Next: dfg2tptp, Prev: dfg2otter.pl, Up:
Top
13 dfg2dfg
**********
@@ -1626,7 +1631,7 @@
SPASS(1)
-File: script.info, Node: dfg2tptp, Next: tptp2dfg, Prev: dfg2dfg, Up: Top
+File: spass.info, Node: dfg2tptp, Next: tptp2dfg, Prev: dfg2dfg, Up: Top
14 dfg2tptp
***********
@@ -1665,7 +1670,7 @@
tpget(1), deprose(1), dfg2otter(1), SPASS(1)
-File: script.info, Node: tptp2dfg, Next: spassfaq, Prev: dfg2tptp, Up: Top
+File: spass.info, Node: tptp2dfg, Next: spassfaq, Prev: dfg2tptp, Up: Top
15 tptp2dfg
***********
@@ -1712,7 +1717,7 @@
dfg2tptp(1), dfg2otter(1), SPASS(1)
-File: script.info, Node: spassfaq, Prev: tptp2dfg, Up: Top
+File: spass.info, Node: spassfaq, Prev: tptp2dfg, Up: Top
16 spassfaq
***********
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
