idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #351520
+183
−64
Loading