coq-emacs-el-8.3pl2-2.fc15 RPM for noarch

From Fedora 15 updates for x86_64

This package contains the Elisp source files for Coq's Emacs support.
This package is not needed to use the Emacs interface.

Provides

• coq-emacs-el

Requires

• coq-emacs
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) >= 5.2-1

License

LGPLv2

Changelog

* Wed Jun 15 2011 Jerry James <loganjerry@gmail.com> - 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 <loganjerry@gmail.com> - 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 <loganjerry@gmail.com> - 8.3pl1-2
  - Change the mime type to application/x-coq, and inherit from text/plain
    (bz 530254)
* Thu Mar 31 2011 Jerry James <loganjerry@gmail.com> - 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 <rel-eng@lists.fedoraproject.org> - 8.2pl1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Wed Aug 05 2009 Alan Dunn <amdunn@gmail.com> - 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 <rel-eng@lists.fedoraproject.org> - 8.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Thu Jun 18 2009 Alan Dunn <amdunn@gmail.com> - 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 <fedora-s390x@lists.fedoraproject.org> 8.1pl4-3.1
  - ExcludeArch s390, s390x as we don't have OCaml on those archs
* Wed Mar 04 2009 Alan Dunn <amdunn@gmail.com> - 8.1pl4-3
  - Minor change to cmxa-install patch instruction
  - Fixed to work with lablgtk 2.12
* Tue Feb 24 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 8.1pl4-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Fri Dec 05 2008 Richard W.M. Jones <rjones@redhat.com> - 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 <amdunn@gmail.com> 8.1pl3-5
  - Added Coq .v files into the main package at user request.
* Tue Sep 09 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-4
  - Added creation of prelink blacklist for any bytecode files.
  - Fixed execstack status for binaries.
* Tue Aug 05 2008 Alan Dunn <amdunn@gmail.com> 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 <amdunn@gmail.com> 8.1pl3-2.1
  - Minor bump for Fedora 8 to bring it into line with the rest.
* Thu Jul 17 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-2
  - Added check for Fedora distribution number to allow for Fedora 8 release.
* Sat Jun 14 2008 Alan Dunn <amdunn@gmail.com> 8.1pl3-1
  - Initial Fedora RPM version.

Files

/usr/share/emacs/site-lisp/coq/coq-db.el
/usr/share/emacs/site-lisp/coq/coq-font-lock.el
/usr/share/emacs/site-lisp/coq/coq-inferior.el
/usr/share/emacs/site-lisp/coq/coq-syntax.el
/usr/share/emacs/site-lisp/coq/coq.el

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon May 13 06:22:50 2013