Mon, 10 Jun 2024 13:13:05 UTC | login

Information for RPM emacs-proofgeneral-el-4.4-9.fc31.noarch.rpm

ID467896
Nameemacs-proofgeneral-el
Version4.4
Release9.fc31
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 Time2019-07-24 23:27:15 GMT
Size361.66 KB
eafb162b075ff03ee2db208f8ae727be
LicenseGPLv2
Provides
emacs-proofgeneral-el = 4.4-9.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
emacs-proofgeneral = 4.4-9.fc31
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