Changelog for lfsc-0.20120321-5.fc20.x86_64.rpm :
Sat Aug 3 14:00:00 2013 Fedora Release Engineering - 0.20120321-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

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