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 1 through 50 of 236 >>> Name Size /usr/share/emacs/site-lisp/site-start.d/pg-init.el 154.00 B /usr/share/emacs/site-lisp/proofgeneral/twelf/twelf.elc 3.83 KB /usr/share/emacs/site-lisp/proofgeneral/twelf/twelf.el 6.63 KB /usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-old.elc 68.39 KB /usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-old.el 101.86 KB /usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-font.elc 9.87 KB /usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-font.el 15.96 KB /usr/share/emacs/site-lisp/proofgeneral/twelf 0.00 B /usr/share/emacs/site-lisp/proofgeneral/phox/phox.elc 4.70 KB /usr/share/emacs/site-lisp/proofgeneral/phox/phox.el 5.13 KB /usr/share/emacs/site-lisp/proofgeneral/phox 0.00 B /usr/share/emacs/site-lisp/proofgeneral/pgshell/pgshell.elc 912.00 B /usr/share/emacs/site-lisp/proofgeneral/pgshell/pgshell.el 1.65 KB /usr/share/emacs/site-lisp/proofgeneral/pgshell 0.00 B /usr/share/emacs/site-lisp/proofgeneral/pgocaml/pgocaml.elc 1.00 KB /usr/share/emacs/site-lisp/proofgeneral/pgocaml/pgocaml.el 1.80 KB /usr/share/emacs/site-lisp/proofgeneral/pgocaml 0.00 B /usr/share/emacs/site-lisp/proofgeneral/pghaskell/pghaskell.elc 1.00 KB /usr/share/emacs/site-lisp/proofgeneral/pghaskell/pghaskell.el 1.86 KB /usr/share/emacs/site-lisp/proofgeneral/pghaskell 0.00 B /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.elc 43.82 KB /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el 52.98 KB /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.elc 203.57 KB /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el 241.19 KB /usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.elc 7.80 KB /usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el 14.51 KB /usr/share/emacs/site-lisp/proofgeneral/lib/span.elc 7.72 KB /usr/share/emacs/site-lisp/proofgeneral/lib/span.el 8.57 KB /usr/share/emacs/site-lisp/proofgeneral/lib/scomint.elc 9.60 KB /usr/share/emacs/site-lisp/proofgeneral/lib/scomint.el 11.53 KB /usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.elc 1.24 KB /usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el 2.53 KB /usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.elc 1.52 KB /usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el 2.32 KB /usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.elc 3.84 KB /usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el 5.46 KB /usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.elc 9.22 KB /usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el 11.99 KB /usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.elc 4.18 KB /usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el 5.59 KB /usr/share/emacs/site-lisp/proofgeneral/lib/holes.elc 24.29 KB /usr/share/emacs/site-lisp/proofgeneral/lib/holes.el 26.02 KB /usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.elc 9.92 KB /usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el 12.81 KB /usr/share/emacs/site-lisp/proofgeneral/lib 0.00 B /usr/share/emacs/site-lisp/proofgeneral/lego/lego.elc 21.82 KB /usr/share/emacs/site-lisp/proofgeneral/lego/lego.el 14.69 KB /usr/share/emacs/site-lisp/proofgeneral/lego/lego-syntax.elc 3.85 KB /usr/share/emacs/site-lisp/proofgeneral/lego/lego-syntax.el 4.67 KB /usr/share/emacs/site-lisp/proofgeneral/lego 0.00 B
Component of	No Buildroots