Changelog for gappalib-coq-0.18.0-6.fc18.i686.rpm :
Mon Jan 7 13:00:00 2013 Jerry James - 0.18.0-6
- Rebuild for coq 8.4pl1

Fri Oct 19 14:00:00 2012 Jerry James - 0.18.0-5
- Rebuild for OCaml 4.00.1

Tue Aug 21 14:00:00 2012 Jerry James - 0.18.0-4
- Rebuild for coq 8.4

Sat Jul 28 14:00:00 2012 Jerry James - 0.18.0-3
- Rebuild for coq 8.3pl4, OCaml 4.00.0, and gappa 0.16.1

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

Mon Jan 9 13:00:00 2012 Jerry James - 0.18.0-1
- New upstream release

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

Mon Dec 12 13:00:00 2011 Jerry James - 0.17.0-1
- New upstream release

Sat Oct 29 14:00:00 2011 Jerry James - 0.16.0-3
- BR ocaml

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

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