Changelog for flocq-source-2.2.0-1.fc20.i686.rpm :
Sat Aug 10 14:00:00 2013 Jerry James - 2.2.0-1
- New upstream release
- Builds now done with remake instead of make

Sat Aug 3 14:00:00 2013 Fedora Release Engineering - 2.1.0-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Tue May 14 14:00:00 2013 Jerry James - 2.1.0-5
- Rebuild for coq 8.4pl2

Wed Feb 13 13:00:00 2013 Fedora Release Engineering - 2.1.0-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Mon Jan 7 13:00:00 2013 Jerry James - 2.1.0-3
- Rebuild for coq 8.4pl1

Tue Aug 21 14:00:00 2012 Jerry James - 2.1.0-2
- Rebuild for coq 8.4

Sat Jul 28 14:00:00 2012 Jerry James - 2.1.0-1
- New upstream release
- Build for OCaml 4.0.0 and coq 8.3pl4

Thu Jul 19 14:00:00 2012 Fedora Release Engineering - 2.0.0-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Sat Jan 7 13:00:00 2012 Jerry James - 2.0.0-3
- Rebuild for OCaml 3.12.1

Tue Dec 27 13:00:00 2011 Jerry James - 2.0.0-2
- Rebuild for coq 8.3pl3

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