fedora

Information for RPM emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch.rpm

ID9635
Buildemacs-common-proofgeneral-4.5-10.20240912git1ffca70.fc42
Nameemacs-proofgeneral
Version4.5
Release10.20240912git1ffca70.fc42
Epoch
Archnoarch
DraftFalse
SummaryCompiled elisp files to run Proof General under GNU Emacs
DescriptionProof 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 Time2025-01-16 17:46:29 GMT
Size829.94 KB
31ef385918ca2f6d4a62d5552d39a4ca
LicenseGPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
git:https://github.com/ProofGeneral/PG.git
Provides
emacs-proofgeneral = 4.5-10.20240912git1ffca70.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
emacs(bin) >= 29.4
emacs-common-proofgeneral = 4.5-10.20240912git1ffca70.fc42
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 through 50 of 192 >>>
Name ascending sort Size
/usr/share/emacs/site-lisp/proofgeneral0.00 B
/usr/share/emacs/site-lisp/proofgeneral/coq0.00 B
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el15.82 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.elc13.48 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el3.41 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.elc10.43 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el33.10 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.elc30.14 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el14.86 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.elc10.32 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.el2.76 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-diffs.elc1.24 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el45.47 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.elc11.78 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el7.39 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.elc5.60 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.el8.77 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mode.elc7.13 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el107.09 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.elc62.48 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el18.15 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.elc11.17 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el61.33 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.elc40.51 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el84.09 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.elc71.46 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el31.19 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.elc25.27 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el7.85 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc4.49 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el137.10 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.elc107.66 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt0.00 B
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-abbrev.el912.00 B
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-abbrev.elc552.00 B
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.el2.73 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-hooks.elc2.67 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-keywords.el2.25 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-keywords.elc1.55 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.el6.61 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt-syntax.elc6.94 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.el9.90 KB
/usr/share/emacs/site-lisp/proofgeneral/easycrypt/easycrypt.elc16.93 KB
/usr/share/emacs/site-lisp/proofgeneral/generic0.00 B
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el2.47 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.elc3.46 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el9.09 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.elc7.19 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el8.01 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.elc6.27 KB
Component of No Buildroots