What happens if I push all of nixpkgs
nixpkgs pkgs by-name le lean4 mimalloc.patch
438 B · 16 lines