setup-agda icon indicating copy to clipboard operation
setup-agda copied to clipboard
verified publisher icon wenkokke

Distribute `agdaup` via Chocolatey

Open wenkokke opened this issue 3 years ago • 0 comments

wenkokke avatar Mar 14 '23 14:03 wenkokke