Changelog for picosat-devel-965-2.fc24.x86_64.rpm :

* Thu Feb 04 2016 Fedora Release Engineering - 965-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Jan 13 2016 Jerry James - 965-1- New upstream release- Drop -proof-access patch now that csisat has been retired- Add a library built for R support
* Thu Jun 18 2015 Fedora Release Engineering - 960-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Fri Nov 07 2014 Jerry James - 960-1- New upstream release- Drop upstreamed -alias patch- Fix license handling
* Sun Aug 17 2014 Fedora Release Engineering - 957-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Jun 07 2014 Fedora Release Engineering - 957-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Wed Jul 31 2013 Jerry James - 957-1- New upstream release- Remove comment that was being pulled into postun
* Thu Feb 14 2013 Fedora Release Engineering - 951-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Aug 20 2012 Jerry James - 951-1- New upstream release
* Sat Jul 21 2012 Fedora Release Engineering - 936-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Fri Jan 06 2012 Jerry James - 936-3- Rebuild for GCC 4.7- Minor spec file cleanups
* Wed Feb 09 2011 Fedora Release Engineering - 936-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Thu Jan 27 2011 Jerry James - 936-1- Update to version 936.- Drop picosat-sharedlib.patch, incorporated upstream.- Add picosat-trace.patch, to support separate tracing and nontracing libs.
* Tue Jan 19 2010 Jerry James - 913-2- Spec file cleanups from review- Man page courtesy of David Wheeler
* Wed Sep 02 2009 Jerry James - 913-1- Initial RPM