Main Site Links:

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

Information for RPM emacs-proofgeneral-4.5-7.fc40.noarch.rpm

ID	1252630
Name	emacs-proofgeneral
Version	4.5
Release	7.fc40
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	2024-01-24 10:23:17 GMT
Size	820.24 KB
SIGMD5	3918acf824b0312f6d4a1cbf84506c31
License	GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
Provides	emacs-proofgeneral = 4.5-7.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	emacs(bin) >= 29.2 emacs-common-proofgeneral = 4.5-7.fc40 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 1 through 50 of 192 >>> Name Size /usr/share/emacs/site-lisp/proofgeneral 0.00 B /usr/share/emacs/site-lisp/proofgeneral/coq 0.00 B /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el 15.56 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.elc 13.25 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el 3.41 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.elc 10.43 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el 31.62 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.elc 28.45 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el 14.86 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.elc 10.32 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.el 2.76 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.elc 1.24 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el 45.62 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.elc 11.92 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.60 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.el 8.77 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.elc 7.11 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el 106.47 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.elc 61.93 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el 18.15 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.elc 11.17 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el 61.33 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.elc 40.51 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el 83.91 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.elc 70.43 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el 29.81 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.elc 24.08 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el 7.84 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc 4.48 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq.el 140.91 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq.elc 109.80 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 552.00 B /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.el 2.73 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.elc 2.67 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.54 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.el 6.61 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.elc 6.94 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.el 9.90 KB /usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.elc 16.93 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.46 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.19 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.27 KB
Component of	1 through 2 of 2 Buildroot Created State f41-build-821301-152509 2024-07-25 11:01:38 f40-build-797900-141532 2024-03-26 15:56:26