Mon, 17 Feb 2025 00:36:33 UTC | login

Information for RPM emacs-proofgeneral-el-4.4-10.fc32.noarch.rpm

ID533390
Nameemacs-proofgeneral-el
Version4.4
Release10.fc32
Epoch
Archnoarch
SummaryElisp source files for Proof General under GNU Emacs
DescriptionThis package contains the elisp source files for Proof General under GNU Emacs. You do not need to install this package to run Proof General. Install the emacs-proofgeneral package to use Proof General with GNU Emacs.
Build Time2020-01-28 17:17:49 GMT
Size361.49 KB
8c95f1d7f449a1927917b09163c3e1c2
LicenseGPLv2
Provides
emacs-proofgeneral-el = 4.4-10.fc32
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
emacs-proofgeneral = 4.4-10.fc32
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 89 >>>
Name ascending sort Size
/usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.el2.75 KB
/usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el2.99 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el9.67 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el2.98 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el19.39 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el12.38 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el42.90 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el7.05 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el1.25 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el56.01 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el17.67 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el40.45 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el76.16 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el24.97 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el7.30 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el107.68 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el2.15 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el8.68 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el8.01 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el4.24 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el3.78 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el9.62 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el21.88 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el22.64 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el20.61 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el47.38 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el9.96 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el7.19 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el34.13 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el2.00 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el71.46 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el9.58 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el3.77 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el8.01 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el3.18 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el1.82 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el36.77 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el2.67 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el102.78 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el69.66 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el13.40 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el10.73 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el11.78 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el8.48 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el50.41 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el4.96 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el16.62 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el28.26 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el1.34 KB
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-autotest.el700.00 B
Component of No Buildroots