Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM emacs-proofgeneral-4.4-11.20200506gitea62543.fc33.noarch.rpm

ID	614386
Name	emacs-proofgeneral
Version	4.4
Release	11.20200506gitea62543.fc33
Epoch
Arch	noarch
Summary	Compiled elisp files to run Proof General under GNU Emacs
Description	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.
Build Time	2020-05-20 23:08:51 GMT
Size	885.99 KB
SIGMD5	1b36a76f0a4edae06f18168276d8fcfe
License	GPLv2
Provides	emacs-proofgeneral = 4.4-11.20200506gitea62543.fc33 emacs-proofgeneral-el = 4.4-11.20200506gitea62543.fc33
Obsoletes	emacs-proofgeneral-el < 4.4-11
Conflicts	No Conflicts
Requires	emacs(bin) >= 26.3 emacs-common-proofgeneral = 4.4-11.20200506gitea62543.fc33 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	Page: 1 2 3 4 5 <<< 51 through 100 of 236 >>> Name Size /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.elc 17.53 KB /usr/share/emacs/site-lisp/proofgeneral/generic 0.00 B /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el 2.47 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.elc 3.87 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el 9.09 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.elc 7.52 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el 8.01 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.elc 6.69 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el 4.63 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.elc 5.46 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el 4.17 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.elc 2.97 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el 10.04 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.elc 8.04 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el 21.94 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.elc 14.77 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el 22.94 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.elc 16.23 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el 21.22 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.elc 17.34 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el 48.49 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.elc 38.45 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el 11.00 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.elc 10.73 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el 7.70 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.elc 7.39 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el 32.64 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.elc 28.50 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el 1.77 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.elc 2.09 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el 73.25 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.elc 67.23 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el 10.52 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.elc 7.55 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el 4.33 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.elc 2.83 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el 8.42 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.elc 9.12 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el 3.57 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.elc 3.29 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el 2.10 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.elc 1.48 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el 37.29 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.elc 30.22 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el 105.27 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.elc 72.12 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el 72.79 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.elc 56.19 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el 11.72 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.elc 7.59 KB
Component of	No Buildroots