nixpkgs/pkgs/development/compilers/idris2/ at 25.11-pre · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / compilers / idris2 /

at 25.11-pre 7 files

build-idris.nix

treewide: fix typos in comments

11 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

Revert "treewide: replace `rev` with `tag`"

9 months ago

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

1 year ago

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

1 year ago