pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / build-support / agda /
at 23.11-beta 2 files
Naïm Favier agdaPackages.*: support literate Typst files
6c2b227d
default.nix
lib.nix