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

• easycrypt-abbrev.el
• easycrypt-abbrev.elc
• easycrypt-hooks.el
• easycrypt-hooks.elc
• easycrypt-keywords.el
• easycrypt-keywords.elc
• easycrypt-syntax.el
• easycrypt-syntax.elc
• easycrypt.el
• easycrypt.elc

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 08:02:51 2025