Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
bootstrap-sass
spring-cloud-vault-config
mod-evasive
role-base-authorization
pcmanfm
android-attributes
axios-fetch
backpressure
selection-api
fuzzywuzzy
wagon
css-animation-direction
common-workflow-language
using-declaration
database-connectivity
quic
wp-mail
urlcomponents
opensearch-security-plugin
libudev
google-app-indexing
nitrogen
textangular
info.plist
appcenter
azure-public-ip
file-copying
olcpixelgameengine
data-visualization
laravel-schema-builder
