GitHub repository: nzws-sandbox/asdf-idris2
Description: Idris2 plugin for asdf version manager.