pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / development / compilers / idris2 /
at 22.05-pre 1 file
R. RyanTM idris2: 0.5.0 -> 0.5.1
896ee5ff
default.nix