Main Site Links:

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

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

ID	183395
Name	emacs-proofgeneral
Version	4.4
Release	7.fc29
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	2018-07-13 03:06:22 GMT
Size	602.24 KB
SIGMD5	5d18e211cb6601977fe8430e5162ae49
License	GPLv2
Provides	emacs-proofgeneral = 4.4-7.fc29
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	/usr/bin/bash /usr/bin/perl emacs(bin) >= 26.1 emacs-common-proofgeneral = 4.4-7.fc29 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 147 >>> Name Size /usr/share/emacs/site-lisp/proofgeneral 0.00 B /usr/share/emacs/site-lisp/proofgeneral/acl2 0.00 B /usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.elc 2.30 KB /usr/share/emacs/site-lisp/proofgeneral/ccc 0.00 B /usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.elc 2.58 KB /usr/share/emacs/site-lisp/proofgeneral/coq 0.00 B /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.elc 8.42 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.elc 11.28 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.elc 16.95 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.elc 9.24 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.elc 29.08 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.elc 6.06 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.elc 1.16 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.elc 36.98 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.elc 11.86 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.elc 22.00 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.elc 65.49 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.elc 21.83 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc 4.89 KB /usr/share/emacs/site-lisp/proofgeneral/coq/coq.elc 86.43 KB /usr/share/emacs/site-lisp/proofgeneral/generic 0.00 B /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.elc 3.81 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.elc 7.48 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.39 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.elc 3.03 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.elc 7.79 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.elc 14.83 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.elc 16.66 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.elc 16.94 KB /usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.elc 38.23 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.22 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.elc 29.21 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.elc 2.96 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.elc 65.79 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.elc 7.29 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.29 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.elc 1.48 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.elc 30.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 71.75 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.elc 56.19 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.elc 8.79 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.elc 9.31 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.elc 12.63 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.elc 7.07 KB /usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.elc 39.86 KB
Component of	1 through 11 of 11 Buildroot Created State f30-build-40969-22884 2018-12-09 21:12:01 f29-build-34271-18585 2018-11-29 07:14:00 f29-build-33920-18461 2018-11-27 20:34:53 f29-build-33150-17874 2018-11-25 04:36:04 f29-build-32454-17012 2018-10-16 07:18:15 f29-build-32124-16936 2018-10-14 04:51:59 f29-build-31755-16758 2018-10-09 17:24:27 f29-build-31358-16564 2018-10-06 06:41:49 f29-build-30955-16551 2018-10-04 11:51:10 f29-build-29434-15914 2018-09-23 20:37:23 f29-build-28845-15459 2018-08-31 17:17:35