Tue, 28 May 2024 18:26:53 UTC | login

Information for RPM emacs-proofgeneral-el-4.2-5.fc24.noarch.rpm

ID61124
Nameemacs-proofgeneral-el
Version4.2
Release5.fc24
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 Time2016-02-03 21:10:23 GMT
Size358.40 KB
a13e557b7c00ef7156cbc308039297de
LicenseGPLv2
Provides
emacs-proofgeneral-el = 4.2-5.fc24
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
emacs-proofgeneral = 4.2-5.fc24
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 86 >>>
Name ascending sort Size
/usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.el2.79 KB
/usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el2.99 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el8.28 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el3.02 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el9.70 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el38.57 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el6.35 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el1.29 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie-lexer.el29.33 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el48.15 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el7.30 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el113.47 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el1.56 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el8.73 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el8.04 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el4.28 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el3.82 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el9.62 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el21.92 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el22.68 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el18.24 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el46.90 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el10.00 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el7.23 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.el69.46 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el9.62 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el3.82 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el8.05 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el3.22 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el1.86 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el35.77 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el2.71 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el102.48 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el64.66 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el13.48 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el11.27 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el11.83 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el8.53 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el43.74 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el5.01 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el16.67 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el28.30 KB
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el1.38 KB
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-autotest.el750.00 B
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-unicode-tokens.el5.97 KB
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light.el18.54 KB
/usr/share/emacs/site-lisp/proofgeneral/hol98/hol98.el5.42 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/interface-setup.el1.02 KB
Component of No Buildroots