Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

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

ID	61123
Name	emacs-proofgeneral
Version	4.2
Release	5.fc24
Epoch
Arch	noarch
Summary	Compiled elisp files to run Proof General under GNU Emacs
Description	Proof General is a generic front-end for proof assistants based on Emacs. This package contains the byte compiled elisp packages to run Proof General with GNU Emacs.
Build Time	2016-02-03 21:10:23 GMT
Size	386.16 KB
SIGMD5	8d4914fcb229a29d4016791186ac0b0a
License	GPLv2
Provides	emacs-proofgeneral = 4.2-5.fc24
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	/usr/bin/env /usr/bin/perl emacs(bin) >= 24.5 emacs-common-proofgeneral = 4.2-5.fc24 emacs-mmm 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 2 3 1 through 50 of 144 >>> Name Size /usr/share/emacs/site-lisp/proofgeneral 4.00 KB /usr/share/emacs/site-lisp/proofgeneral/acl2 4.00 KB /usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.elc 2.30 KB /usr/share/emacs/site-lisp/proofgeneral/ccc 4.00 KB /usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.elc 2.58 KB /usr/share/emacs/site-lisp/proofgeneral/coq 4.00 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.elc 7.37 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.elc 17.92 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.elc 7.60 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.elc 25.91 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.elc 5.32 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.elc 1.17 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie-lexer.elc 16.08 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.elc 39.87 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc 4.89 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq.elc 95.86 KB /usr/share/emacs/site-lisp/proofgeneral/generic 4.00 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.elc 2.94 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.elc 7.51 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.elc 7.04 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.elc 5.50 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.elc 3.12 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.elc 7.85 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.elc 16.10 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.elc 16.40 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.elc 15.92 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.elc 39.80 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.elc 10.02 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.elc 7.73 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.elc 29.28 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.elc 2.97 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.elc 63.66 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.elc 7.87 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.elc 2.67 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.elc 9.06 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.elc 3.30 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.elc 1.49 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.elc 29.38 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.elc 1.23 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.elc 74.50 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.elc 53.39 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.elc 8.86 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.elc 9.88 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.elc 13.25 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.elc 7.34 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.elc 35.15 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.elc 4.96 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.elc 14.88 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.elc 20.27 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof.elc 715.00 B
Component of	No Buildroots