pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / development / coq-modules / coq-ext-lib /
at v192 1 file
John Wiegley coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
f78f2a90
default.nix