Skip to content

Remove agda from dependency conflict allowlist#68154

Merged
Rylan12 merged 1 commit intoHomebrew:masterfrom
carlocab:agda-audit
Jan 2, 2021
Merged

Remove agda from dependency conflict allowlist#68154
Rylan12 merged 1 commit intoHomebrew:masterfrom
carlocab:agda-audit

Commits

Commits on Jan 2, 2021