Skip to content

community/idris2: self host again after 0.7.0 upgrade

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

Merge request reports