- 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
