Changelog for coq-8.6.1-1.fc27.i686.rpm :

* Mon Aug 07 2017 Richard W.M. Jones - 8.6.1-1- New upstream version 8.6.1.- Remove patch now upstream.- OCaml 4.05.0 rebuild.
* Wed Aug 02 2017 Fedora Release Engineering - 8.6-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering - 8.6-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Mon Jun 26 2017 Richard W.M. Jones - 8.6-5- OCaml 4.04.2 rebuild.
* Fri May 12 2017 Richard W.M. Jones - 8.6-4- Bump release and rebuild.
* Thu May 11 2017 Richard W.M. Jones - 8.6-3- OCaml 4.04.1 rebuild.
* Fri Feb 10 2017 Fedora Release Engineering - 8.6-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Thu Jan 12 2017 Jerry James - 8.6-1- New upstream release
* Sat Nov 05 2016 Richard W.M. Jones - 8.5pl3-2- Rebuild for OCaml 4.04.0.
* Fri Oct 28 2016 Jerry James - 8.5pl3-1- New upstream release- Remove obsolete scriptlets- Fix install path for coqdoc.sty
* Wed Jul 13 2016 Jerry James - 8.5pl2-1- New upstream release
* Fri Apr 22 2016 Jerry James - 8.5pl1-1- New upstream release
* Sat Feb 13 2016 Jerry James - 8.5-2- Workaround ocaml dep generator failure with ocaml-lablgtk
* Fri Feb 12 2016 Jerry James - 8.5-1- New upstream release- Use camlp4 in preference to camlp5- Absorb -emacs-el into -emacs according to current guidelines- Update appdata for latest specification
* Wed Feb 03 2016 Fedora Release Engineering - 8.4pl6-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Thu Jul 30 2015 Richard W.M. Jones - 8.4pl6-5- OCaml 4.02.3 rebuild.
* Wed Jun 24 2015 Richard W.M. Jones - 8.4pl6-4- ocaml-4.02.2 final rebuild.
* Wed Jun 17 2015 Richard W.M. Jones - 8.4pl6-3- ocaml-4.02.2 rebuild.
* Wed Jun 17 2015 Fedora Release Engineering - 8.4pl6-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat Apr 11 2015 Jerry James - 8.4pl6-1- New upstream release- Drop upstreamed -fix-ints patch- Update appdata URLs
* Mon Feb 16 2015 Richard W.M. Jones - 8.4pl5-4- Bump release and rebuild.
* Mon Feb 16 2015 Richard W.M. Jones - 8.4pl5-3- ocaml-4.02.1 rebuild.
* Thu Nov 06 2014 Jerry James - 8.4pl5-2- Rebuild for ocaml-camlp5 6.12
* Thu Oct 30 2014 Jerry James - 8.4pl5-1- New upstream release- Drop upstreamed comment patch- Drop aarch64 bug workaround, fixed in ocaml 4.02.0
* Thu Oct 02 2014 Rex Dieter 8.4pl4-19- fix/update mime scriptlet
* Wed Sep 17 2014 Jerry James - 8.4pl4-18- Rebuild due to ocaml update- Fix license handling
* Sat Aug 30 2014 Richard W.M. Jones - 8.4pl4-17- Bump release and rebuild.
* Sat Aug 30 2014 Richard W.M. Jones - 8.4pl4-16- Bump release and rebuild.- Fix to int types in OCaml > 4.02.0 and Fedora.
* Sat Aug 30 2014 Richard W.M. Jones - 8.4pl4-14- ocaml-4.02.0 final rebuild.
* Sun Aug 24 2014 Richard W.M. Jones - 8.4pl4-13- ocaml-4.02.0+rc1 rebuild.
* Sat Aug 16 2014 Fedora Release Engineering - 8.4pl4-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Aug 09 2014 Richard W.M. Jones - 8.4pl4-11- Add stublibs to library path to make coqide build.
* Sat Aug 02 2014 Richard W.M. Jones - 8.4pl4-10- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.- Add workaround for build failure on aarch64.- BR emacs since emacs-nox no longer provides this binary (RHBZ#1123573).
* Fri Aug 01 2014 Richard W.M. Jones - 8.4pl4-6- Add patch to fix build failure with OCaml 4.02.
* Fri Jul 25 2014 Richard W.M. Jones - 8.4pl4-4- Rebuild for OCaml 4.02.0 beta.
* Wed Jul 16 2014 Richard Hughes - 8.4pl4-3- Install the coq application icon in a standard location to fix display in gnome-software and Apper.
* Sat Jun 07 2014 Fedora Release Engineering - 8.4pl4-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue May 13 2014 Jerry James - 8.4pl4-1- New upstream release
* Tue Apr 15 2014 Richard W.M. Jones - 8.4pl3-3- Remove ocaml_arches macro (RHBZ#1087794).
* Thu Jan 23 2014 Jerry James - 8.4pl3-2- Rebuild with fixed hevea package to get good HTML docs- Hevea is now available on all architectures that support ocaml- Drop Fedora 18 compatibility now that F-18 has reached EOL- Add AppData file
* Mon Dec 16 2013 Jerry James - 8.4pl3-1- New upstream release
* Wed Oct 02 2013 Richard W.M. Jones - 8.4pl2-4- Rebuild for ocaml-lablgtk 2.18.
* Mon Sep 16 2013 Jerry James - 8.4pl2-3- Rebuild for OCaml 4.01.0- Enable debuginfo
* Fri Jul 26 2013 Ville Skyttä - 8.4pl2-2- Install docs to %{_pkgdocdir} where available.
* Tue May 14 2013 Jerry James - 8.4pl2-1- New upstream release- Harden the build due to network use
* Sat Feb 23 2013 Toshio Kuratomi - 8.4pl1-3- Remove --vendor from desktop-file-install in F19+ https://fedorahosted.org/fesco/ticket/1077
* Wed Feb 13 2013 Fedora Release Engineering - 8.4pl1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Jan 07 2013 Jerry James - 8.4pl1-1- New upstream release- Drop upstreamed GDK patch- Adapt configure arguments to new version- Add csdp-tools requirement to get csdp binary
* Thu Dec 13 2012 Jerry James - 8.4-3- Use minimal TeXLive BRs
* Wed Oct 17 2012 Jerry James - 8.4-2- Rebuild for OCaml 4.00.1- Support more GDK key modifiers in the IDE (hyper, meta, release, super)- New BRs due to the new texlive package layout- Substitute the geometry package for fullpage.sty, which is not included in the latest Fedora TeXLive packages.
* Tue Aug 21 2012 Jerry James - 8.4-1- New upstream release- Drop patch; merged upstream- Drop workaround for install bug; fixed in 8.4
* Fri Jul 27 2012 Jerry James - 8.3pl4-3- ProofGeneral dropped support for XEmacs, so we have to drop it too
* Wed Jul 18 2012 Fedora Release Engineering - 8.3pl4-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jun 11 2012 Richard W.M. Jones - 8.3pl4-2- Rebuild for OCaml 4.00.0.
* Sat Jun 09 2012 Jerry James - 8.3pl4-1- New upstream release
* Sat Jan 07 2012 Jerry James - 8.3pl3-2- Rebuild for Ocaml 3.12.1
* Tue Dec 27 2011 Jerry James - 8.3pl3-1- New upstream release
* Tue Dec 06 2011 Adam Jackson - 8.3pl2-4- Rebuild for new libpng
* Thu Oct 27 2011 Jerry James - 8.3pl2-3- Rebuild for new ocaml-camlp5; patch for bz 691913 no longer needed- Drop tar_base_name, no longer necessary- Drop versioned dependencies for packages that meet the dep in F14- Build without HTML documentation on arches lacking hevea- Change ExclusiveArch to %{ocaml_arches}- Fix a broken conditional and a typo
* Wed Jun 15 2011 Jerry James - 8.3pl2-2- Remove workaround for bad documentation link in 8.3pl1, fixed in 8.3pl2- Revert change in 8.3pl1-1 to split arch-specific stuff from noarch stuff. Coq tactics are written in ocaml, which compiles to arch-specific files, and those files are stored in the same place as the noarch proof files.- Move tutorial code into main package; it is small and we can then leave all the rest of the documentation as noarch
* Tue Apr 26 2011 Jerry James - 8.3pl2-1- New upstream release- Change the list of supported arches to match the ocaml list, except for ppc64, which is missing hevea
* Mon Apr 04 2011 Jerry James - 8.3pl1-2- Change the mime type to application/x-coq, and inherit from text/plain (bz 530254)
* Thu Mar 31 2011 Jerry James - 8.3pl1-1- New upstream release- Drop BuildRoot tag and clean section- Drop all patches (all merged or otherwise fixed upstream)- Comply with latest Ocaml packaging specs- Identify xdg-open as the default web browser- Comply with the emacs packaging guidelines, and build an XEmacs package- The -doc and -emacs
* subpackages are now noarch- Workaround bug 691913- Drop PostScript documentation; it\'s identical to PDF documentation- Deal with arch-specific files in /usr/share; install everything to libdir, then move the noarch stuff to datadir, but leave symlinks behind- Add a new mime type application/x-coqide and use it in the desktop file- Add post and postun scripts
* Tue Feb 08 2011 Fedora Release Engineering - 8.2pl1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Wed Aug 05 2009 Alan Dunn - 8.2pl1-1- New upstream release- Eliminated modification of tar_base_name that occurred for only version 8.2- Added reference to bugzilla bug for ppc64 ExcludeArch- HTML form of documentation seems to no longer be distributed -> must generate Decided for consistency to generate all documentation- Additional file for iconv - documentation license file- Changed tutorial directory name, now also using bundled version of tutorial
* Fri Jul 24 2009 Fedora Release Engineering - 8.2-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Thu Jun 18 2009 Alan Dunn - 8.2-1- New upstream release- Seems documentation license has changed or wasn\'t explicitly stated before, fixed (is ok Fedora license)- Added versioning to documentation- Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant)- Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2)- Dropped cmxa-install patch (fixed in Coq 8.2)- Changed makefile-strip patch and name (not yet fixed upstream...)- Changed check.patch -> coq-check-(version).patch, slightly changed for 8.2 (not yet fixed upstream...)- Dropped parser-renaming makefile-parser.patch, parser-man.patch (fixed in Coq 8.2)- Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2)- Changed way source (.v) files are installed- Stopped addition of other icon file (icon fixed in Coq 8.2)- Bytecode executables are now \"clean\" (not build with custom -> don\'t need to configure prelink around these)- define -> global- Added ExcludeArch sparc64
* Wed Jun 17 2009 S390x secondary arch maintainer 8.1pl4-3.1- ExcludeArch s390, s390x as we don\'t have OCaml on those archs
* Wed Mar 04 2009 Alan Dunn - 8.1pl4-3- Minor change to cmxa-install patch instruction- Fixed to work with lablgtk 2.12
* Tue Feb 24 2009 Fedora Release Engineering - 8.1pl4-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Fri Dec 05 2008 Richard W.M. Jones - 8.1pl4-1- New upstream version 8.1pl4.- Attempt to rebuild against OCaml 3.11.0.- Run make with VERBOSE=1 so we can see the actual commands.- Pass -camlp5dir to configure so it uses camlp5 (overriding existence of camlp4 if it happens to be installed).
* Wed Oct 22 2008 Alan Dunn 8.1pl3-5- Added Coq .v files into the main package at user request.
* Tue Sep 09 2008 Alan Dunn 8.1pl3-4- Added creation of prelink blacklist for any bytecode files.- Fixed execstack status for binaries.
* Tue Aug 05 2008 Alan Dunn 8.1pl3-3- Changed parser to coq-parser to avoid name conflict with coda-client.- Made make process noisy again.
* Sun Jul 20 2008 Alan Dunn 8.1pl3-2.1- Minor bump for Fedora 8 to bring it into line with the rest.
* Thu Jul 17 2008 Alan Dunn 8.1pl3-2- Added check for Fedora distribution number to allow for Fedora 8 release.
* Wed Jun 11 2008 Alan Dunn 8.1pl3-1- Initial Fedora RPM version.