nixpkgs
What happens if I push all of nixpkgs
Star
Fork
Watch
nixpkgs pkgs by-name z3
2 folders
z3
z3-tptp