nixpkgs
What happens if I push all of nixpkgs
Star
Fork
Watch
nixpkgs pkgs applications science logic hol_light
2 files
0004-Fix-compilation-with-camlp5-7.11.patch
default.nix