Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv6850
Added Files:
spass.info spass.patch
Log Message:
New package: the SPASS theorem prover.
SPASS macht SpaÃ!
--- 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
***********
------------------------------------------------------------------------------
Start uncovering the many advantages of virtual appliances
and start using them to simplify application deployment and
accelerate your shift to cloud computing.
http://p.sf.net/sfu/novell-sfdev2dev
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
