| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: emacs-proofgeneral | Distribution: Fedora Project |
| Version: 4.5 | Vendor: Fedora Project |
| Release: 9.20240912git1ffca70.fc41 | Build date: Sun Sep 29 17:38:43 2024 |
| Group: Unspecified | Build host: buildhw-x86-10.iad2.fedoraproject.org |
| Size: 3565478 | Source RPM: emacs-common-proofgeneral-4.5-9.20240912git1ffca70.fc41.src.rpm |
| Packager: Fedora Project | |
| Url: https://proofgeneral.github.io/ | |
| Summary: Compiled elisp files to run Proof General under GNU Emacs | |
Proof General is a generic front-end for proof assistants based on Emacs. This package contains the byte compiled elisp packages to run Proof General with GNU Emacs.
GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
* Sat Sep 28 2024 Jerry James <loganjerry@gmail.com> - 4.5-9 - Update to git head for prooftree 0.14 support * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 4.5-5 - Stop building for 32-bit x86 * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 4.5-4 - Validate appdata with appstream-util * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Sat Nov 19 2022 Jerry James <loganjerry@gmail.com> - 4.5-3 - Add patch to silence warnings about an overly long docstring - Convert License tag to SPDX
/usr/share/emacs/site-lisp/proofgeneral /usr/share/emacs/site-lisp/proofgeneral/coq /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc /usr/share/emacs/site-lisp/proofgeneral/coq/coq.el /usr/share/emacs/site-lisp/proofgeneral/coq/coq.elc /usr/share/emacs/site-lisp/proofgeneral/easycrypt /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-abbrev.el /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-abbrev.elc /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.el /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.elc /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-keywords.el /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-keywords.elc /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.el /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.elc /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.el /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.elc /usr/share/emacs/site-lisp/proofgeneral/generic /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.elc /usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el /usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.elc /usr/share/emacs/site-lisp/proofgeneral/generic/proof.el /usr/share/emacs/site-lisp/proofgeneral/generic/proof.elc /usr/share/emacs/site-lisp/proofgeneral/images /usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-splash.png /usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png /usr/share/emacs/site-lisp/proofgeneral/images/README /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-next.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-state.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-state.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.xpm /usr/share/emacs/site-lisp/proofgeneral/images/epg-use.png /usr/share/emacs/site-lisp/proofgeneral/images/epg-use.xpm /usr/share/emacs/site-lisp/proofgeneral/images/hiddenproof.xpm /usr/share/emacs/site-lisp/proofgeneral/lib /usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el /usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.elc /usr/share/emacs/site-lisp/proofgeneral/lib/holes.el /usr/share/emacs/site-lisp/proofgeneral/lib/holes.elc /usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el /usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.elc /usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el /usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.elc /usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el /usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.elc /usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el /usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.elc /usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el /usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.elc /usr/share/emacs/site-lisp/proofgeneral/lib/scomint.el /usr/share/emacs/site-lisp/proofgeneral/lib/scomint.elc /usr/share/emacs/site-lisp/proofgeneral/lib/span.el /usr/share/emacs/site-lisp/proofgeneral/lib/span.elc /usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el /usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.elc /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.elc /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.elc /usr/share/emacs/site-lisp/proofgeneral/pghaskell /usr/share/emacs/site-lisp/proofgeneral/pghaskell/pghaskell.el /usr/share/emacs/site-lisp/proofgeneral/pghaskell/pghaskell.elc /usr/share/emacs/site-lisp/proofgeneral/pgocaml /usr/share/emacs/site-lisp/proofgeneral/pgocaml/pgocaml.el /usr/share/emacs/site-lisp/proofgeneral/pgocaml/pgocaml.elc /usr/share/emacs/site-lisp/proofgeneral/pgshell /usr/share/emacs/site-lisp/proofgeneral/pgshell/pgshell.el /usr/share/emacs/site-lisp/proofgeneral/pgshell/pgshell.elc /usr/share/emacs/site-lisp/proofgeneral/phox /usr/share/emacs/site-lisp/proofgeneral/phox/phox.el /usr/share/emacs/site-lisp/proofgeneral/phox/phox.elc /usr/share/emacs/site-lisp/proofgeneral/qrhl /usr/share/emacs/site-lisp/proofgeneral/qrhl/qrhl-input.el /usr/share/emacs/site-lisp/proofgeneral/qrhl/qrhl-input.elc /usr/share/emacs/site-lisp/proofgeneral/qrhl/qrhl.el /usr/share/emacs/site-lisp/proofgeneral/qrhl/qrhl.elc /usr/share/emacs/site-lisp/site-start.d/pg-init.el
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Oct 27 02:54:38 2024