Skip to content

community/idris2: move from testing

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

Not entirely happy with the state of the package and some things also still need to be addressed upstream, but as it turns out other people are already relying on this package hence we might as well move it to community.

Merge request reports