Changelog for coq-emacs-el-8.4pl6-4.fc23.noarch.rpm :
Wed Jun 24 14:00:00 2015 Richard W.M. Jones - 8.4pl6-4
- ocaml-4.02.2 final rebuild.

Wed Jun 17 14:00:00 2015 Richard W.M. Jones - 8.4pl6-3
- ocaml-4.02.2 rebuild.

Wed Jun 17 14:00:00 2015 Fedora Release Engineering - 8.4pl6-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

Sat Apr 11 14:00:00 2015 Jerry James - 8.4pl6-1
- New upstream release
- Drop upstreamed -fix-ints patch
- Update appdata URLs

Mon Feb 16 13:00:00 2015 Richard W.M. Jones - 8.4pl5-4
- Bump release and rebuild.

Mon Feb 16 13:00:00 2015 Richard W.M. Jones - 8.4pl5-3
- ocaml-4.02.1 rebuild.

Thu Nov 6 13:00:00 2014 Jerry James - 8.4pl5-2
- Rebuild for ocaml-camlp5 6.12

Thu Oct 30 13:00:00 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 2 14:00:00 2014 Rex Dieter 8.4pl4-19
- fix/update mime scriptlet

Wed Sep 17 14:00:00 2014 Jerry James - 8.4pl4-18
- Rebuild due to ocaml update
- Fix license handling

Sat Aug 30 14:00:00 2014 Richard W.M. Jones - 8.4pl4-17
- Bump release and rebuild.

Sat Aug 30 14:00:00 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 14:00:00 2014 Richard W.M. Jones - 8.4pl4-14
- ocaml-4.02.0 final rebuild.

Sun Aug 24 14:00:00 2014 Richard W.M. Jones - 8.4pl4-13
- ocaml-4.02.0+rc1 rebuild.

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

Sat Aug 9 14:00:00 2014 Richard W.M. Jones - 8.4pl4-11
- Add stublibs to library path to make coqide build.

Sat Aug 2 14:00:00 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 1 14:00:00 2014 Richard W.M. Jones - 8.4pl4-6
- Add patch to fix build failure with OCaml 4.02.

Fri Jul 25 14:00:00 2014 Richard W.M. Jones - 8.4pl4-4
- Rebuild for OCaml 4.02.0 beta.

Wed Jul 16 14:00:00 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 7 14:00:00 2014 Fedora Release Engineering - 8.4pl4-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Tue May 13 14:00:00 2014 Jerry James - 8.4pl4-1
- New upstream release

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

Thu Jan 23 13:00:00 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 13:00:00 2013 Jerry James - 8.4pl3-1
- New upstream release

Wed Oct 2 14:00:00 2013 Richard W.M. Jones - 8.4pl2-4
- Rebuild for ocaml-lablgtk 2.18.

Mon Sep 16 14:00:00 2013 Jerry James - 8.4pl2-3
- Rebuild for OCaml 4.01.0
- Enable debuginfo

Fri Jul 26 14:00:00 2013 Ville Skyttä - 8.4pl2-2
- Install docs to %{_pkgdocdir} where available.

Tue May 14 14:00:00 2013 Jerry James - 8.4pl2-1
- New upstream release
- Harden the build due to network use

Sat Feb 23 13:00:00 2013 Toshio Kuratomi - 8.4pl1-3
- Remove --vendor from desktop-file-install in F19+ https://fedorahosted.org/fesco/ticket/1077

Wed Feb 13 13:00:00 2013 Fedora Release Engineering - 8.4pl1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Mon Jan 7 13:00:00 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 13:00:00 2012 Jerry James - 8.4-3
- Use minimal TeXLive BRs

Wed Oct 17 14:00:00 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 14:00:00 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 14:00:00 2012 Jerry James - 8.3pl4-3
- ProofGeneral dropped support for XEmacs, so we have to drop it too

Wed Jul 18 14:00:00 2012 Fedora Release Engineering - 8.3pl4-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Mon Jun 11 14:00:00 2012 Richard W.M. Jones - 8.3pl4-2
- Rebuild for OCaml 4.00.0.

Sat Jun 9 14:00:00 2012 Jerry James - 8.3pl4-1
- New upstream release

Sat Jan 7 13:00:00 2012 Jerry James - 8.3pl3-2
- Rebuild for Ocaml 3.12.1

Tue Dec 27 13:00:00 2011 Jerry James - 8.3pl3-1
- New upstream release

Tue Dec 6 13:00:00 2011 Adam Jackson - 8.3pl2-4
- Rebuild for new libpng

Thu Oct 27 14:00:00 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 14:00:00 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 14:00:00 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 4 14:00:00 2011 Jerry James - 8.3pl1-2
- Change the mime type to application/x-coq, and inherit from text/plain
(bz 530254)

Thu Mar 31 14:00:00 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 8 13:00:00 2011 Fedora Release Engineering - 8.2pl1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Wed Aug 5 14:00:00 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 14:00:00 2009 Fedora Release Engineering - 8.2-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

Thu Jun 18 14:00:00 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 14:00:00 2009 S390x secondary arch maintainer 8.1pl4-3.1
- ExcludeArch s390, s390x as we don\'t have OCaml on those archs

Wed Mar 4 13:00:00 2009 Alan Dunn - 8.1pl4-3
- Minor change to cmxa-install patch instruction
- Fixed to work with lablgtk 2.12

Tue Feb 24 13:00:00 2009 Fedora Release Engineering - 8.1pl4-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Fri Dec 5 13:00:00 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 14:00:00 2008 Alan Dunn 8.1pl3-5
- Added Coq .v files into the main package at user request.

Tue Sep 9 14:00:00 2008 Alan Dunn 8.1pl3-4
- Added creation of prelink blacklist for any bytecode files.
- Fixed execstack status for binaries.

Tue Aug 5 14:00:00 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 14:00:00 2008 Alan Dunn 8.1pl3-2.1
- Minor bump for Fedora 8 to bring it into line with the rest.

Thu Jul 17 14:00:00 2008 Alan Dunn 8.1pl3-2
- Added check for Fedora distribution number to allow for Fedora 8 release.

Wed Jun 11 14:00:00 2008 Alan Dunn 8.1pl3-1
- Initial Fedora RPM version.