emacs-proofgeneral-4.5-9.20240912git1ffca70.fc41 in Fedora 41
↵ Return to the main page of emacs-proofgeneral
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2024-09-28 | Jerry James <loganjerry at gmail dot com> - 4.5-9 | - Update to git head for prooftree 0.14 support |
| 2024-07-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-8 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild |
| 2024-01-24 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-7 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-16 | Jerry James <loganjerry at gmail dot com> - 4.5-5 | - Stop building for 32-bit x86 |
| 2023-07-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |
| 2023-07-18 | Jerry James <loganjerry at gmail dot com> - 4.5-4 | - Validate appdata with appstream-util |
| 2023-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.5-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild |
| 2022-11-19 | Jerry James <loganjerry at gmail dot com> - 4.5-3 | - Add patch to silence warnings about an overly long docstring - Convert License tag to SPDX |
Dependencies
- emacs >= 29.4
- emacs-common-proofgeneral = 4.5-9.20240912git1ffca70.fc41
- emacs-gtk+x11 >= 29.4
- emacs-lucid >= 29.4
- emacs-nw >= 29.4
Provides
- emacs-proofgeneral
Files
- usr/
- share/
- emacs/
- site-lisp/
- proofgeneral/
- coq/
- coq-abbrev.el
- coq-abbrev.elc
- coq-autotest.el
- coq-autotest.elc
- coq-compile-common.el
- coq-compile-common.elc
- coq-db.el
- coq-db.elc
- coq-diffs.el
- coq-diffs.elc
- coq-indent.el
- coq-indent.elc
- coq-local-vars.el
- coq-local-vars.elc
- coq-mode.el
- coq-mode.elc
- coq-par-compile.el
- coq-par-compile.elc
- coq-seq-compile.el
- coq-seq-compile.elc
- coq-smie.el
- coq-smie.elc
- coq-syntax.el
- coq-syntax.elc
- coq-system.el
- coq-system.elc
- coq-unicode-tokens.el
- coq-unicode-tokens.elc
- coq.el
- coq.elc
- easycrypt/
- easycrypt-abbrev.el
- easycrypt-abbrev.elc
- easycrypt-hooks.el
- easycrypt-hooks.elc
- easycrypt-keywords.el
- easycrypt-keywords.elc
- easycrypt-syntax.el
- easycrypt-syntax.elc
- easycrypt.el
- easycrypt.elc
- generic/
- pg-assoc.el
- pg-assoc.elc
- pg-autotest.el
- pg-autotest.elc
- pg-custom.el
- pg-custom.elc
- pg-goals.el
- pg-goals.elc
- pg-movie.el
- pg-movie.elc
- pg-pamacs.el
- pg-pamacs.elc
- pg-pbrpm.el
- pg-pbrpm.elc
- pg-pgip.el
- pg-pgip.elc
- pg-response.el
- pg-response.elc
- pg-user.el
- pg-user.elc
- pg-vars.el
- pg-vars.elc
- pg-xml.el
- pg-xml.elc
- proof-autoloads.el
- proof-autoloads.elc
- proof-auxmodes.el
- proof-auxmodes.elc
- proof-config.el
- proof-config.elc
- proof-depends.el
- proof-depends.elc
- proof-easy-config.el
- proof-easy-config.elc
- proof-faces.el
- proof-faces.elc
- proof-indent.el
- proof-indent.elc
- proof-maths-menu.el
- proof-maths-menu.elc
- proof-menu.el
- proof-menu.elc
- proof-script.el
- proof-script.elc
- proof-shell.el
- proof-shell.elc
- proof-site.el
- proof-site.elc
- proof-splash.el
- proof-splash.elc
- proof-syntax.el
- proof-syntax.elc
- proof-toolbar.el
- proof-toolbar.elc
- proof-tree.el
- proof-tree.elc
- proof-unicode-tokens.el
- proof-unicode-tokens.elc
- proof-useropts.el
- proof-useropts.elc
- proof-utils.el
- proof-utils.elc
- proof.el
- proof.elc
- images/
- ProofGeneral-splash.png
- ProofGeneral.png
- README
- epg-abort.png
- epg-abort.xpm
- epg-command.png
- epg-command.xpm
- epg-context.png
- epg-context.xpm
- epg-find.png
- epg-find.xpm
- epg-goal.png
- epg-goal.xpm
- epg-goto.png
- epg-goto.xpm
- epg-help.png
- epg-help.xpm
- epg-home.png
- epg-home.xpm
- epg-info.png
- epg-info.xpm
- epg-interrupt.png
- epg-interrupt.xpm
- epg-next.png
- epg-next.xpm
- epg-prooftree.png
- epg-prooftree.xpm
- epg-qed.png
- epg-qed.xpm
- epg-restart.png
- epg-restart.xpm
- epg-retract.png
- epg-retract.xpm
- epg-state.png
- epg-state.xpm
- epg-undo.png
- epg-undo.xpm
- epg-use.png
- epg-use.xpm
- hiddenproof.xpm
- lib/
- bufhist.el
- bufhist.elc
- holes.el
- holes.elc
- local-vars-list.el
- local-vars-list.elc
- maths-menu.el
- maths-menu.elc
- pg-dev.el
- pg-dev.elc
- pg-fontsets.el
- pg-fontsets.elc
- proof-compat.el
- proof-compat.elc
- scomint.el
- scomint.elc
- span.el
- span.elc
- texi-docstring-magic.el
- texi-docstring-magic.elc
- unicode-chars.el
- unicode-chars.elc
- unicode-tokens.el
- unicode-tokens.elc
- pghaskell/
- pghaskell.el
- pghaskell.elc
- pgocaml/
- pgocaml.el
- pgocaml.elc
- pgshell/
- pgshell.el
- pgshell.elc
- phox/
- phox.el
- phox.elc
- qrhl/
- qrhl-input.el
- qrhl-input.elc
- qrhl.el
- qrhl.elc
- coq/
- site-start.d/
- pg-init.el
- proofgeneral/
- site-lisp/
- emacs/
- share/
Sources on Pagure