pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / development / libraries / agda / cubical /
at 24.11-pre 1 file
Philipp Joram agdaPackages.cubical: add maintainer phijor
54c160c7
default.nix