Fedora Rawhide for ppc64le : / usr /share /emacs /site-lisp /proofgeneral /coq

• coq-abbrev.el
• coq-abbrev.elc
• coq-autotest.el
• coq-autotest.elc
• coq-compile-common.el
• coq-compile-common.elc
• coq-db.el
• coq-db.elc
• coq-diffs.el
• coq-diffs.elc
• coq-indent.el
• coq-indent.elc
• coq-local-vars.el
• coq-local-vars.elc
• coq-mode.el
• coq-mode.elc
• coq-par-compile.el
• coq-par-compile.elc
• coq-seq-compile.el
• coq-seq-compile.elc
• coq-smie.el
• coq-smie.elc
• coq-syntax.el
• coq-syntax.elc
• coq-system.el
• coq-system.elc
• coq-unicode-tokens.el
• coq-unicode-tokens.elc
• coq.el
• coq.elc

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Apr 7 01:26:06 2025