Changelog for
coq-emacs-el-8.4pl5-2.fc21.noarch.rpm :
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
- Rex Dieter: fix/update mime scriptlet
- Richard W.M. Jones: Add stublibs to library path to make coqide build.
Sat Aug 16 14:00:00 2014 Fedora Release Engineering - 8.4pl4-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
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.
