pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / development / coq-modules / fiat /
at v206 1 file
Vincent Laporte coq-fiat: do not run tests on i686
22bc910c
default.nix