Changelog for flocq-source-2.0.0-1.fc16.x86_64.rpm :
Mon Dec 12 13:00:00 2011 Jerry James - 2.0.0-1
- New upstream release
- Change subpackage from -devel to -source to match gappalib-coq.

Fri Oct 28 14:00:00 2011 Jerry James - 1.4.0-3
- Fix broken version numbers in BR and Requires

Wed Oct 26 14:00:00 2011 Jerry James - 1.4.0-2
- Split out a -devel subpackage

Tue Jul 5 14:00:00 2011 Jerry James - 1.4.0-1
- Initial RPM