Skip to content

agda: Fix the post-install suggestions#203805

Closed
mayaofspring wants to merge 1 commit intoHomebrew:masterfrom mayaofspring:agda-fix-post-install-paths

Commits

Commits on Jan 10, 2025