Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
stubby4j
testautomationfx
distributed-cache
rsqlite
main-method
ajax
ldapjs
whois
covering-index
rxjs
minima
instantiation
nginx-config
android-biometric-prompt
entity-framework-core-migrations
2phase-commit
get-wmiobject
foundry-contour
invalid-pointer
distributed-lock
xml-encoding
vuepress2
ios-urlsheme
cartesian
alfa
sharedservices
javascript-injection
jodit
web-inspector
swiper.js
