Sophie: prover9-200911a-1.fc14 src

prover9-200911a-1.fc14.src.rpm

Sat Jul 24 2010 David A. Wheeler <dwheeler@dwheeler.com> - 200911a-1
- Update to upstream version 200911a.
- Adds prover9-complex, prover9-gen_trc_defs, prover9-test_complex.
- Fix spelling in RPM summary.
Sun Jul 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200805a-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
Thu Feb 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 200805a-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
Wed Jul 9 2008 Tim Colles <timc@inf.ed.ac.uk> - 200805a-4
- exclude ppc64 architecture as test2 fails
Tue Jul 8 2008 Tim Colles <timc@inf.ed.ac.uk> - 200805a-3
- make -apps require base package instead of other way around
- added check section to run built-in tests
- fix perms on static library
- fix perms on example script
- use name prefix and install all binaries in /usr/bin
- add name prefix to manpages, drop symlinks for missing manpages
Fri Jun 6 2008 Tim Colles <timc@inf.ed.ac.uk> - 200805a-2
- dropped libtoolize patch and stopped shipping shared libraries
- changed build to use rpm optflags
- added -p flag to preserve timestamps
- install all binaries except mace4/prover9 to /usr/lib/prover9/bin
Fri Jun 6 2008 Tim Colles <timc@inf.ed.ac.uk> - 200805a-1
- renamed as prover9
- redesigned borrowing heavily from the Debian package by Peter Collingbourne
- included patches from Debian package by Peter Collingbourne
- added documentation source/package
- updated version
Thu Jan 10 2008 Tim Colles <timc@inf.ed.ac.uk> - 200712-1
- initial version