Thu, 12 Nov 2026 10:16:22 UTC Log in

emacs-proofgeneral-4.5-15.20240912git1ffca70.fc45.noarch.rpm

noarch
Compiled elisp files to run Proof General under GNU Emacs 824.47 KB built 2026-10-13 12:43:55 GMT
Build 2386

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.

Dependencies

7 total
Requires6
  • emacs(bin) >= 31.1
  • emacs-common-proofgeneral = 4.5-15.20240912git1ffca70.fc45
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
Provides1
  • emacs-proofgeneral = 4.5-15.20240912git1ffca70.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

192
Name ascending sort 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.82 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.elc 13.48 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el 3.41 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.elc 8.64 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el 33.10 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.elc 29.77 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.04 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.47 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.elc 11.62 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.59 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.19 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el 107.09 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.elc 62.37 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 30.77 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el 84.09 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.elc 71.18 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el 31.19 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.elc 24.84 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el 7.85 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc 4.49 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el 137.10 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.elc 106.41 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.25 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-keywords.elc 1.55 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.57 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.el 9.90 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.elc 17.17 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.51 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
Files 1–50 of 192 Next →
of 4

Component of

buildroots that installed this RPM

No Buildroots