Changelog for zenon-debugsource-0.8.2-9.fc27.i686.rpm :

* Wed Sep 06 2017 Jerry James - 0.8.2-9- Rebuild for coq 8.6.1
* Thu Aug 03 2017 Fedora Release Engineering - 0.8.2-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering - 0.8.2-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sat Feb 11 2017 Fedora Release Engineering - 0.8.2-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Jan 12 2017 Jerry James - 0.8.2-5- Rebuild for coq 8.6
* Sat Nov 05 2016 Richard W.M. Jones - 0.8.2-4- Rebuild for OCaml 4.04.0.
* Fri Oct 28 2016 Jerry James - 0.8.2-3- Rebuild for coq 8.5pl3
* Wed Jul 13 2016 Jerry James - 0.8.2-2- Rebuild for coq 8.5pl2
* Fri Jun 10 2016 Jerry James - 0.8.2-1- New upstream release
* Wed Jun 01 2016 Jerry James - 0.8.1-1- New upstream release
* Fri Apr 22 2016 Jerry James - 0.8.0-8- Rebuild for coq 8.5pl1
* Fri Feb 12 2016 Jerry James - 0.8.0-7- Rebuild for coq 8.5
* Fri Feb 05 2016 Fedora Release Engineering - 0.8.0-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Fri Jun 19 2015 Fedora Release Engineering - 0.8.0-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat Apr 11 2015 Jerry James - 0.8.0-4- Rebuild for coq 8.4pl6
* Wed Jan 07 2015 Jerry James - 0.8.0-3- Update URLs
* Thu Oct 30 2014 Jerry James - 0.8.0-2- Rebuild for coq 8.4pl5
* Thu Oct 23 2014 Jerry James - 0.8.0-1- New upstream release- Sources for the icon are no longer provided- Fix license handling
* Mon Aug 18 2014 Fedora Release Engineering - 0.7.1-14- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Mon Jun 16 2014 Jerry James - 0.7.1-13- Drop bz 921706 workaround; now unnecessary
* Sat Jun 07 2014 Fedora Release Engineering - 0.7.1-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue May 13 2014 Jerry James - 0.7.1-11- Rebuild for coq 8.4pl4- Add workaround for bz 921706
* Fri Apr 18 2014 Jerry James - 0.7.1-10- Remove ocaml_arches macro (bz 1087794)
* Sat Dec 21 2013 Ville Skyttä - 0.7.1-9- Pass -g to ocamlopt, don\'t strip executable too early.
* Wed Dec 18 2013 Jerry James - 0.7.1-8- Rebuild for coq 8.4pl3- Enable debuginfo generation
* Sun Aug 04 2013 Fedora Release Engineering - 0.7.1-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Wed May 08 2013 Jerry James - 0.7.1-6- Rebuild for coq 8.4pl2
* Fri Feb 15 2013 Fedora Release Engineering - 0.7.1-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Jan 07 2013 Jerry James - 0.7.1-4- Rebuild for coq 8.4pl1
* Thu Dec 13 2012 Jerry James - 0.7.1-3- Rebuild for OCaml 4.00.1
* Tue Aug 21 2012 Jerry James - 0.7.1-2- Rebuild for coq 8.4
* Mon Jul 30 2012 Jerry James - 0.7.1-1- New upstream release- Install the coq files where coq can find them automatically
* Sun Jul 22 2012 Fedora Release Engineering - 0.6.3-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jan 09 2012 Jerry James - 0.6.3-5- Rebuild for OCaml 3.12.1
* Tue Dec 27 2011 Jerry James - 0.6.3-4- Rebuild for coq 8.3pl3
* Mon Nov 14 2011 Jerry James - 0.6.3-3- Change ExclusiveArch to %{ocaml_arches}
* Thu Jul 14 2011 Jerry James - 0.6.3-2- Move the coq files back to /usr/share to avoid a dependency on coq- Add paper describing zenon to %doc
* Tue Jul 12 2011 Jerry James - 0.6.3-1- New upstream release- Drop unnecessary spec file elements (BuildRoot, etc.)- Execstack flag clearing no longer necessary- Build on exactly the arches that coq builds on- Build the icons
* Tue Feb 08 2011 Fedora Release Engineering - 0.5.0-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Tue Sep 22 2009 Dennis gilmore - 0.5.0-7- ExcludeArch sparc64 no ocaml
* Tue Aug 11 2009 Ville Skyttä - 0.5.0-6- Use bzipped upstream tarball.
* Mon Jul 27 2009 Fedora Release Engineering - 0.5.0-5.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Mon Jun 15 2009 Karsten Hopp 0.5.0-4.1- ocaml not available on mainframes, add excludearch
* Wed Feb 25 2009 Fedora Release Engineering - 0.5.0-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Fri Jun 27 2008 David A. Wheeler - 0.5.0-3- Add documentation for Zenon and its built-in format as man pages (man pages used so Debian, etc., will use them too)- Fix release number so it increases everywhere
* Fri Jun 27 2008 David A. Wheeler - 0.5.0-2.1- macro fc8 failed, minor rebuild for Fedora 8
* Fri Jun 27 2008 David A. Wheeler - 0.5.0-2- Moved examples to an \"examples\" subdirectory in /usr/share/doc/NAME-VERSION- Moved \"check\" to be after \"install\" in spec file (that\'s when it\'s executed)- Exclude ppc64 for Fedora 8 (it works on 9 and 10, but not 8)
* Fri Jun 27 2008 David A. Wheeler - 0.5.0-1- Initial package