pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / development / coq-modules / deriving /
at 25.11-pre 1 file
Pierre Roux coqPackages.deriving: 0.2.1 -> 0.2.2
d87c8735
default.nix