Skip to content

agda: fix test by migrating to Cabal v2 commands#59709

Closed
Josh-Tilles wants to merge 1 commit intoHomebrew:masterfrom Josh-Tilles:patch-3
+8-13

Commits

Commits on Aug 15, 2020