Changelog for prover9-200911a-12.fc26.x86_64.rpm :

* Sat Feb 11 2017 Fedora Release Engineering - 200911a-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Feb 04 2016 Fedora Release Engineering - 200911a-11- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Mon Jul 27 2015 Bruno Wolff III - 200911a-10- Fix format string warning
* Thu Jun 18 2015 Fedora Release Engineering - 200911a-9- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sun Aug 17 2014 Fedora Release Engineering - 200911a-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Jun 07 2014 Fedora Release Engineering - 200911a-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Sun Aug 04 2013 Fedora Release Engineering - 200911a-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Thu Feb 14 2013 Fedora Release Engineering - 200911a-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Sat Jul 21 2012 Fedora Release Engineering - 200911a-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Sat Jan 14 2012 Fedora Release Engineering - 200911a-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
* Wed Feb 09 2011 Fedora Release Engineering - 200911a-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Sat Jul 24 2010 David A. Wheeler - 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 - 200805a-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Thu Feb 26 2009 Fedora Release Engineering - 200805a-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Wed Jul 09 2008 Tim Colles - 200805a-4- exclude ppc64 architecture as test2 fails
* Tue Jul 08 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 06 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 06 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 2008 Tim Colles - 200712-1- initial version