Changelog for prover9-200805a-6.fc12.x86_64.rpm :
Sun Jul 26 14:00:00 2009 Fedora Release Engineering - 200805a-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

Thu Feb 26 13:00:00 2009 Fedora Release Engineering - 200805a-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Wed Jul 9 14:00:00 2008 Tim Colles - 200805a-4
- exclude ppc64 architecture as test2 fails

Tue Jul 8 14:00:00 2008 Tim Colles - 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 14:00:00 2008 Tim Colles - 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 14:00:00 2008 Tim Colles - 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 13:00:00 2008 Tim Colles - 200712-1
- initial version