agda-pkg.conf