Skip to content

community/idris2: library fixup

Sören Tempel requested to merge nmeum/aports:idris2-0.7.0-self-host into master

Merge request reports