nixpkgs
What happens if I push all of nixpkgs
Star
Fork
Watch
nixpkgs pkgs by-name le lean4
2 files
mimalloc.patch
package.nix