Tue, 04 Jun 2024 21:58:26 UTC | login

Information for RPM emacs-proofgeneral-el-4.4-3.fc27.noarch.rpm

ID61130
Nameemacs-proofgeneral-el
Version4.4
Release3.fc27
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 Time2017-07-26 07:43:37 GMT
Size397.26 KB
a66c4bcc543b847d6dede747803f9414
LicenseGPLv2
Provides
emacs-proofgeneral-el = 4.4-3.fc27
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
emacs-proofgeneral = 4.4-3.fc27
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