tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
development
/
compilers
/
idris2
/
at
23.05-pre
2 files
default.nix
idris2: 0.5.1 -> 0.6.0
3 years ago
tests.nix
treewide: optional -> optionals where the argument is a list
3 years ago
pyrox.dev