Skip to content

unmaintained/idris: prepare for build with stack

Gay Pride requested to merge gay/aports:idris into master

Merge request reports