nixpkgs/pkgs/development/compilers/idris2/ at master · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / compilers / idris2 /

at master 7 files

build-idris.nix

treewide: run nixfmt 1.0.0

5 months ago

idris2Packages.pack: init at 2024-02-07

1 year ago

idris2Packages: make idris2Api a more formal package

1 year ago

idris2Packages: run nixfmt

1 year ago

treewide: run nixfmt 1.0.0

5 months ago

treewide: conform descriptions to the standards

5 months ago

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

1 year ago