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 <<< 101 through 150 of 236 >>> Name Size /usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el 11.28 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.elc 9.37 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el 11.84 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.elc 11.63 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el 8.83 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.elc 7.07 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el 50.96 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.elc 39.84 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el 5.25 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.elc 4.73 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el 17.02 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.elc 14.92 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el 29.78 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.elc 20.42 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof.el 1.58 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof.elc 635.00 B /usr/share/emacs/site-lisp/proofgeneral/hol-light 0.00 B /usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-autotest.el 1.05 KB /usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-autotest.elc 3.93 KB /usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-unicode-tokens.el 6.33 KB /usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-unicode-tokens.elc 4.64 KB /usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light.el 18.79 KB /usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light.elc 15.57 KB /usr/share/emacs/site-lisp/proofgeneral/hol98 0.00 B /usr/share/emacs/site-lisp/proofgeneral/hol98/hol98.el 5.77 KB /usr/share/emacs/site-lisp/proofgeneral/hol98/hol98.elc 4.26 KB /usr/share/emacs/site-lisp/proofgeneral/images 0.00 B /usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-splash.png 65.00 KB /usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png 158.27 KB /usr/share/emacs/site-lisp/proofgeneral/images/README 904.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png 307.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.xpm 908.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png 860.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.xpm 4.37 KB /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png 889.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.xpm 3.21 KB /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png 854.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.xpm 3.74 KB /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png 1.04 KB /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.xpm 5.30 KB /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png 396.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.xpm 1.41 KB /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png 918.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.xpm 4.73 KB /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.png 848.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.xpm 2.74 KB /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png 724.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.xpm 2.93 KB /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png 257.00 B /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.xpm 1.02 KB
Component of	No Buildroots