Skip to content

community/idris2: enable on more architectures

Sören Tempel requested to merge nmeum/aports:idris2-all-arches into master

Merge request reports