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/proofgeneral 0.00 B /usr/share/emacs/site-lisp/proofgeneral/acl2 0.00 B /usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.el 3.15 KB /usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.elc 2.31 KB /usr/share/emacs/site-lisp/proofgeneral/ccc 0.00 B /usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el 2.99 KB /usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.elc 2.57 KB /usr/share/emacs/site-lisp/proofgeneral/coq 0.00 B /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el 14.96 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.elc 13.06 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el 3.41 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.elc 11.31 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el 29.89 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.elc 26.46 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el 14.35 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.elc 9.97 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.el 2.73 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.elc 1.60 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el 46.05 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.elc 10.99 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el 7.39 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.elc 5.92 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.el 8.69 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.elc 7.42 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el 92.16 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.elc 57.69 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-test.el 35.83 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-test.elc 18.41 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el 17.79 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.elc 11.89 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el 52.89 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.elc 27.92 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el 79.40 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.elc 67.30 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el 29.97 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.elc 24.22 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el 7.82 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc 4.71 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq.el 134.22 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq.elc 105.85 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt 0.00 B /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-abbrev.el 912.00 B /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-abbrev.elc 876.00 B /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.el 2.72 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.elc 2.78 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-keywords.el 2.24 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-keywords.elc 1.86 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.el 6.61 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.elc 7.07 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.el 9.90 KB
Component of	No Buildroots