Mon, 17 Feb 2025 00:51:50 UTC | login

Information for RPM emacs-proofgeneral-el-4.4-1.fc25.noarch.rpm

ID61127
Nameemacs-proofgeneral-el
Version4.4
Release1.fc25
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-10-25 20:34:25 GMT
Size396.90 KB
ba5c3b8e6a4a439cbd1006d7376e5b0e
LicenseGPLv2
Provides
emacs-proofgeneral-el = 4.4-1.fc25
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
emacs-proofgeneral = 4.4-1.fc25
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