/usr/share/emacs/ is in elpa-agda2-mode 2.5.1.1-3.
This file is owned by root:root, with mode 0o755.
..
/usr/share/emacs/site-lisp/
/usr/share/emacs/site-lisp/elpa-src/
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda-input.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-abbrevs.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-highlight.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-mode-autoloads.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-mode-pkg.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-mode.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2-queue.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/agda2.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/annotation.el
/usr/share/emacs/site-lisp/elpa-src/agda2-mode-2.5.1/eri.el