Sat, 01 Jun 2024 15:22:09 UTC | login

Information for RPM emacs-proofgeneral-el-4.4-7.fc29.noarch.rpm

ID183396
Nameemacs-proofgeneral-el
Version4.4
Release7.fc29
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 Time2018-07-13 03:06:22 GMT
Size395.79 KB
90192fc6ca554390496ca6b9f39c5690
LicenseGPLv2
Provides
emacs-proofgeneral-el = 4.4-7.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
emacs-proofgeneral = 4.4-7.fc29
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-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