Changelog for gappalib-coq-1.0.0-19.fc22.x86_64.rpm :
Sat Apr 11 14:00:00 2015 Jerry James - 1.0.0-19
- Rebuild for coq 8.4pl6

Tue Feb 17 13:00:00 2015 Richard W.M. Jones - 1.0.0-18
- ocaml-4.02.1 rebuild.

Thu Nov 6 13:00:00 2014 Jerry James - 1.0.0-17
- Rebuild for ocaml-camlp5 6.12

Thu Oct 30 13:00:00 2014 Jerry James - 1.0.0-16
- Rebuild for coq 8.4pl5

Tue Sep 2 14:00:00 2014 Jerry James - 1.0.0-15
- Rebuild for flocq 2.4.0

Sun Aug 31 14:00:00 2014 Richard W.M. Jones - 1.0.0-14
- ocaml-4.02.0 final rebuild.

Mon Aug 25 14:00:00 2014 Jerry James - 1.0.0-13
- ocaml-4.02.0+rc1 rebuild.

Sat Aug 16 14:00:00 2014 Fedora Release Engineering - 1.0.0-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Mon Aug 4 14:00:00 2014 Jerry James - 1.0.0-12
- Add workaround for ocamlopt beta version string
- Fix license handling

Sat Aug 2 14:00:00 2014 Richard W.M. Jones - 1.0.0-11
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.

Sat Jun 7 14:00:00 2014 Fedora Release Engineering - 1.0.0-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Tue May 13 14:00:00 2014 Jerry James - 1.0.0-9
- Rebuild for coq 8.4pl4

Mon Apr 21 14:00:00 2014 Jerry James - 1.0.0-8
- Rebuild for flocq 2.3.0

Tue Apr 15 14:00:00 2014 Richard W.M. Jones - 1.0.0-7
- Remove ocaml_arches macro (RHBZ#1087794).

Mon Mar 24 13:00:00 2014 Jerry James - 1.0.0-6
- Rebuild for flocq 2.2.2

Wed Dec 18 13:00:00 2013 Jerry James - 1.0.0-5
- Rebuild for coq 8.4pl3

Mon Sep 16 14:00:00 2013 Jerry James - 1.0.0-4
- Rebuild for OCaml 4.01.0
- Enable debuginfo

Mon Aug 12 14:00:00 2013 Jerry James - 1.0.0-3
- Rebuild for flocq 2.2.0

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

Mon Jul 29 14:00:00 2013 Jerry James - 1.0.0-1
- New upstream release

Wed Jul 3 14:00:00 2013 Jerry James - 0.21.1-1
- New upstream release

Tue May 14 14:00:00 2013 Jerry James - 0.20.0-1
- New upstream release

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

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