repository = https://github.com/vic/asdf-idris.git