idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #562350
Triggered via pull request
October 26, 2024 20:41
mattpolzin
mattpolzin
synchronize
#351520
Status
Success
Total duration
13s
Artifacts
–