Changelog for lfsc-0.20120321-4.fc19.x86_64.rpm :
Mon May 6 14:00:00 2013 Jerry James - 0.20120321-4
- Package proof files for use by CVC4, etc.

Thu Apr 25 14:00:00 2013 Jerry James - 0.20120321-3
- Build with -fsigned-char to prevent infloop when char is unsigned

Tue Apr 16 14:00:00 2013 Jerry James - 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 13:00:00 2013 Jerry James - 0.20120321-1
- Initial RPM