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.alama@gmail.com>
License: OSI-Approved
Source: http://www.spass-prover.org/download/sources/spass37.tgz
Source-Checksum: SHA256(13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc)
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.
<<