|Index||index by Group||index by Distribution||index by Vendor||index by creation date||index by Name||Mirrors||Help||Search|
|Name: coq-coqide||Distribution: Fedora Project|
|Version: 8.3pl2||Vendor: Fedora Project|
|Release: 2.fc15||Build date: Wed Jun 15 21:51:38 2011|
|Group: Applications/Engineering||Build host: x86-04.phx2.fedoraproject.org|
|Size: 25814487||Source RPM: coq-8.3pl2-2.fc15.src.rpm|
|Packager: Fedora Project|
|Summary: Coqide IDE for Coq proof management system|
Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides Coqide, a lightweight IDE for Coq.
* Wed Jun 15 2011 Jerry James <firstname.lastname@example.org> - 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 <email@example.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 <firstname.lastname@example.org> - 8.3pl1-2 - Change the mime type to application/x-coq, and inherit from text/plain (bz 530254) * Thu Mar 31 2011 Jerry James <email@example.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 <firstname.lastname@example.org> - 8.2pl1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Wed Aug 05 2009 Alan Dunn <email@example.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 <firstname.lastname@example.org> - 8.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild * Thu Jun 18 2009 Alan Dunn <email@example.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 <firstname.lastname@example.org> 8.1pl4-3.1 - ExcludeArch s390, s390x as we don't have OCaml on those archs * Wed Mar 04 2009 Alan Dunn <email@example.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 <firstname.lastname@example.org> - 8.1pl4-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * Fri Dec 05 2008 Richard W.M. Jones <email@example.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 <firstname.lastname@example.org> 8.1pl3-5 - Added Coq .v files into the main package at user request. * Tue Sep 09 2008 Alan Dunn <email@example.com> 8.1pl3-4 - Added creation of prelink blacklist for any bytecode files. - Fixed execstack status for binaries. * Tue Aug 05 2008 Alan Dunn <firstname.lastname@example.org> 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 <email@example.com> 8.1pl3-2.1 - Minor bump for Fedora 8 to bring it into line with the rest. * Thu Jul 17 2008 Alan Dunn <firstname.lastname@example.org> 8.1pl3-2 - Added check for Fedora distribution number to allow for Fedora 8 release. * Sat Jun 14 2008 Alan Dunn <email@example.com> 8.1pl3-1 - Initial Fedora RPM version.
/usr/bin/coqide /usr/bin/coqide.byte /usr/bin/coqide.opt /usr/lib64/coq/ide /usr/lib64/coq/ide/.coqide-gtk2rc /usr/lib64/coq/ide/FAQ /usr/lib64/coq/ide/command_windows.cmi /usr/lib64/coq/ide/config_lexer.cmi /usr/lib64/coq/ide/config_parser.cmi /usr/lib64/coq/ide/coq.cmi /usr/lib64/coq/ide/coq.png /usr/lib64/coq/ide/coq_commands.cmi /usr/lib64/coq/ide/coq_lex.cmi /usr/lib64/coq/ide/coq_tactics.cmi /usr/lib64/coq/ide/coqide.cmi /usr/lib64/coq/ide/gtk_parsing.cmi /usr/lib64/coq/ide/ide.cma /usr/lib64/coq/ide/ideutils.cmi /usr/lib64/coq/ide/preferences.cmi /usr/lib64/coq/ide/tags.cmi /usr/lib64/coq/ide/typed_notebook.cmi /usr/lib64/coq/ide/undo.cmi /usr/lib64/coq/ide/utf8_convert.cmi /usr/lib64/coq/ide/utils /usr/lib64/coq/ide/utils/config_file.cmi /usr/lib64/coq/ide/utils/configwin.cmi /usr/lib64/coq/ide/utils/configwin_ihm.cmi /usr/lib64/coq/ide/utils/configwin_keys.cmi /usr/lib64/coq/ide/utils/configwin_messages.cmi /usr/lib64/coq/ide/utils/configwin_types.cmi /usr/lib64/coq/ide/utils/editable_cells.cmi /usr/lib64/coq/ide/utils/okey.cmi /usr/share/applications/fedora-coqide.desktop /usr/share/doc/coq-coqide-8.3pl2 /usr/share/doc/coq-coqide-8.3pl2/INSTALL.ide /usr/share/mime/packages/coq.xml
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Jun 10 07:06:21 2013