This file is indexed.

/etc/emacs/site-start.d/60agda-stdlib.el is in agda-stdlib 0.6-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"))