Changelog for flocq-source-2.6.0-6.fc28.i686.rpm :

* Mon Feb 12 2018 Jerry James - 2.6.0-6- Rebuild for coq 8.7.1
* Wed Feb 07 2018 Fedora Release Engineering - 2.6.0-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Fri Nov 17 2017 Richard W.M. Jones - 2.6.0-4- Rebuild against new Coq package.
* Wed Nov 08 2017 Richard W.M. Jones - 2.6.0-3- Bump release and rebuild.
* Wed Nov 08 2017 Richard W.M. Jones - 2.6.0-2- OCaml 4.06.0 rebuild.
* Thu Oct 05 2017 Jerry James - 2.6.0-1- New upstream release
* Wed Sep 06 2017 Richard W.M. Jones - 2.5.2-12- OCaml 4.05.0 rebuild.
* Wed Aug 02 2017 Fedora Release Engineering - 2.5.2-11- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 2.5.2-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Mon Jun 26 2017 Richard W.M. Jones - 2.5.2-9- Bump release and rebuild.
* Mon Jun 26 2017 Richard W.M. Jones - 2.5.2-8- OCaml 4.04.2 rebuild.
* Fri May 12 2017 Richard W.M. Jones - 2.5.2-7- OCaml 4.04.1 rebuild.
* Fri Mar 24 2017 Jerry James - 2.5.2-6- Rebuild to fix coq consistency issue
* Fri Feb 10 2017 Fedora Release Engineering - 2.5.2-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Jan 12 2017 Jerry James - 2.5.2-4- Rebuild for coq 8.6
* Mon Nov 07 2016 Richard W.M. Jones - 2.5.2-3- Rebuild for OCaml 4.04.0.
* Fri Oct 28 2016 Jerry James - 2.5.2-2- Rebuild for coq 8.5pl3
* Thu Sep 29 2016 Jerry James - 2.5.2-1- New upstream release
* Wed Jul 13 2016 Jerry James - 2.5.1-3- Rebuild for coq 8.5pl2
* Fri Apr 22 2016 Jerry James - 2.5.1-2- Rebuild for coq 8.5pl1
* Fri Feb 12 2016 Jerry James - 2.5.1-1- New upstream release
* Wed Feb 03 2016 Fedora Release Engineering - 2.5.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Oct 14 2015 Jerry James - 2.5.0-1- New upstream release
* Wed Jun 24 2015 Richard W.M. Jones - 2.4.0-10- ocaml-4.02.2 final rebuild.
* Wed Jun 17 2015 Richard W.M. Jones - 2.4.0-9- ocaml-4.02.2 rebuild.
* Wed Jun 17 2015 Fedora Release Engineering - 2.4.0-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat Apr 11 2015 Jerry James - 2.4.0-7- Rebuild for coq 8.4pl6
* Tue Feb 17 2015 Richard W.M. Jones - 2.4.0-6- Bump release and rebuild.
* Mon Feb 16 2015 Richard W.M. Jones - 2.4.0-5- Bump release and rebuild.
* Mon Feb 16 2015 Richard W.M. Jones - 2.4.0-4- ocaml-4.02.1 rebuild.
* Thu Nov 06 2014 Jerry James - 2.4.0-3- Rebuild with coq that was rebuilt with ocaml-camlp5 6.12
* Thu Oct 30 2014 Jerry James - 2.4.0-2- Rebuild for coq 8.4pl5
* Tue Sep 02 2014 Jerry James - 2.4.0-1- New upstream release
* Sun Aug 31 2014 Richard W.M. Jones - 2.3.0-9- ocaml-4.02.0 final rebuild.
* Sun Aug 24 2014 Richard W.M. Jones - 2.3.0-8- Bump release and rebuild.
* Sun Aug 24 2014 Richard W.M. Jones - 2.3.0-7- ocaml-4.02.0+rc1 rebuild.
* Sat Aug 16 2014 Fedora Release Engineering - 2.3.0-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Fri Aug 08 2014 Richard W.M. Jones - 2.3.0-5- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
* Mon Aug 04 2014 Jerry James - 2.3.0-4- Bump and rebuild as part of ocaml rebuild- Fix license handling
* Sat Jun 07 2014 Fedora Release Engineering - 2.3.0-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue May 13 2014 Jerry James - 2.3.0-2- Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James - 2.3.0-1- New upstream release- Remove ocaml_arches macro (bz 1087794)
* Mon Jan 27 2014 Jerry James - 2.2.2-1- New upstream release
* Wed Dec 18 2013 Jerry James - 2.2.0-2- Rebuild for coq 8.4pl3
* Sat Aug 10 2013 Jerry James - 2.2.0-1- New upstream release- Builds now done with remake instead of make
* Sat Aug 03 2013 Fedora Release Engineering - 2.1.0-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Tue May 14 2013 Jerry James - 2.1.0-5- Rebuild for coq 8.4pl2
* Wed Feb 13 2013 Fedora Release Engineering - 2.1.0-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Jan 07 2013 Jerry James - 2.1.0-3- Rebuild for coq 8.4pl1
* Tue Aug 21 2012 Jerry James - 2.1.0-2- Rebuild for coq 8.4
* Sat Jul 28 2012 Jerry James - 2.1.0-1- New upstream release- Build for OCaml 4.0.0 and coq 8.3pl4
* Thu Jul 19 2012 Fedora Release Engineering - 2.0.0-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Sat Jan 07 2012 Jerry James - 2.0.0-3- Rebuild for OCaml 3.12.1
* Tue Dec 27 2011 Jerry James - 2.0.0-2- Rebuild for coq 8.3pl3
* Mon Dec 12 2011 Jerry James - 2.0.0-1- New upstream release- Change subpackage from -devel to -source to match gappalib-coq.
* Fri Oct 28 2011 Jerry James - 1.4.0-3- Fix broken version numbers in BR and Requires
* Wed Oct 26 2011 Jerry James - 1.4.0-2- Split out a -devel subpackage
* Tue Jul 05 2011 Jerry James - 1.4.0-1- Initial RPM