Changelog for picosat-devel-965-2.el7.x86_64.rpm :
Thu Feb 4 13:00:00 2016 Fedora Release Engineering - 965-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

Wed Jan 13 13:00:00 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 14:00:00 2015 Fedora Release Engineering - 960-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

Fri Nov 7 13:00:00 2014 Jerry James - 960-1
- New upstream release
- Drop upstreamed -alias patch
- Fix license handling

Sun Aug 17 14:00:00 2014 Fedora Release Engineering - 957-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Sat Jun 7 14:00:00 2014 Fedora Release Engineering - 957-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Wed Jul 31 14:00:00 2013 Jerry James - 957-1
- New upstream release
- Remove comment that was being pulled into postun

Thu Feb 14 13:00:00 2013 Fedora Release Engineering - 951-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Mon Aug 20 14:00:00 2012 Jerry James - 951-1
- New upstream release

Sat Jul 21 14:00:00 2012 Fedora Release Engineering - 936-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Fri Jan 6 13:00:00 2012 Jerry James - 936-3
- Rebuild for GCC 4.7
- Minor spec file cleanups

Wed Feb 9 13:00:00 2011 Fedora Release Engineering - 936-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Thu Jan 27 13:00:00 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 13:00:00 2010 Jerry James - 913-2
- Spec file cleanups from review
- Man page courtesy of David Wheeler

Wed Sep 2 14:00:00 2009 Jerry James - 913-1
- Initial RPM