enable idris2-api library
This update has been submitted for testing by petersen.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
Works
This update can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by bodhi.
This update has been pushed to stable.
Please log in to add feedback.
Confirm request to re-trigger tests.
This update has been submitted for testing by petersen.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
Works
This update can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by bodhi.
This update has been pushed to stable.