Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
puppet-enterprise
asbio
execute
bootswatch
angularjs-ng-repeat
caller-id
output-buffering
.net-5
time-format
rethrow
mysql-error-1054
hyperledger-chaincode
libxl
cubes
ldd
penetration-tools
icu
matplotlib-table
ubuntu-20.04
image-quality
keyerror
xmlrpcclient
gnulib
materialfx
release
chainlink
jsonunit
tymon-jwt
lf
malware
