- Mon May 6 2013 Jerry James <loganjerry@gmail.com> - 0.20120321-4
- Package proof files for use by CVC4, etc.
- Thu Apr 25 2013 Jerry James <loganjerry@gmail.com> - 0.20120321-3
- Build with -fsigned-char to prevent infloop when char is unsigned
- Tue Apr 16 2013 Jerry James <loganjerry@gmail.com> - 0.20120321-2
- Add source3 as a reminder to update source2
- Add a check script, and source4 and source5 to feed it - Wed Jan 23 2013 Jerry James <loganjerry@gmail.com> - 0.20120321-1
- Initial RPM
