Skip to content

community/idris2: self host again

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

Fixes API subpackage.

Forgot to do this after the chez-scheme 10.1.0 re-bootstrap.

Merge request reports