prover9 stable port information

Info2: <<
Package: prover9
Description: Prove theorems and build models
Version: 2009-11a
Type: w (2009-11A)
Revision: 1
License: OSI-Approved
Source: http://www.cs.unm.edu/~mccune/prover9/download/LADR-%type_raw[w].tar.gz
Source-MD5: ab409f31ecbb4410b1c7d75deadea2c6
SourceDirectory: LADR-%type_raw[w]
Source2: http://www.cs.unm.edu/~mccune/prover9/manual/%n-manual-%type_raw[w].tar.gz
Source2-MD5: 23fbb9c6b3cbfbb2b893fb788e248a29
Source2ExtractDir: LADR-%type_raw[w]
UseMaxBuildJobs: false
CompileScript: <<
make all
<<
InstallScript: <<
mkdir -p %i/share/xml/xsl
install -m 644 bin/proof3fo.xsl %i/share/xml/xsl

chmod 755 bin/gvizify
mkdir -p %i/bin
install -m 755 bin/* %i/bin

# Documentation and examples
mkdir -p %i/share/doc/prover9
cp -R %n-manual-%type_raw[w]/* %i/share/doc/prover9
<<
DescDetail: <<
Prover9 is an automated theorem prover for first-order and equational
logic, and Mace4 searches for finite models and
counterexamples. Prover9 is the successor of the Otter prover.
<<
Homepage: http://www.cs.unm.edu/~mccune/prover9
Maintainer: Jesse Alama
<<