Skip to content
Back to pull request #351520

idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #31752

Sign in to view logs

idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source

idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source #31752

nixpkgs-vet

nixpkgs-vet
succeeded Oct 27, 2024 in 47s