DEBSOURCES
Skip Quicknav
sources / agda-stdlib / 2.1-4 / debian / agda-stdlib.install
1234
_build/ usr/share/agda-stdlib/ src/ usr/share/agda-stdlib/ standard-library.agda-lib usr/share/agda-stdlib/ debian/60agda-stdlib.el etc/emacs/site-start.d/