/etc/emacs/site-start.d/60agda-stdlib.el is in agda-stdlib 0.7-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | ;; This will be overwritten if the user customises the agda2-include-dirs
;; variable in his/her own session. But that is probably the intended behaviour
;; anyway.
(setq agda2-include-dirs '("." "/usr/share/agda-stdlib"))
|