在 buster 發行版中 all 硬體架構下的 elpa-agda2-mode 套件檔案清單

/usr/lib/emacsen-common/packages/compat/elpa-agda2-mode
/usr/lib/emacsen-common/packages/install/elpa-agda2-mode
/usr/lib/emacsen-common/packages/remove/elpa-agda2-mode
/usr/share/doc/elpa-agda2-mode/buildinfo_all.gz
/usr/share/doc/elpa-agda2-mode/changelog.Debian.gz
/usr/share/doc/elpa-agda2-mode/changelog.gz
/usr/share/doc/elpa-agda2-mode/copyright
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/agda-input.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/agda2-abbrevs.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/agda2-highlight.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/agda2-mode-autoloads.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/agda2-mode-pkg.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/agda2-mode.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/agda2-queue.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/agda2.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/annotation.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.4.1/eri.el