EPEL 8 for aarch64 : / usr /share /emacs /site-lisp /agda

• agda-input.el
• agda-input.elc
• agda2-abbrevs.el
• agda2-abbrevs.elc
• agda2-highlight.el
• agda2-highlight.elc
• agda2-mode-pkg.el
• agda2-mode-pkg.elc
• agda2-mode.el
• agda2-mode.elc
• agda2-queue.el
• agda2-queue.elc
• agda2.el
• agda2.elc
• annotation.el
• annotation.elc
• eri.el
• eri.elc

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Feb 9 08:04:55 2025