nixpkgs
What happens if I push all of nixpkgs
Star
Fork
Watch
nixpkgs pkgs applications science logic why3
2 files
default.nix
with-provers.nix