Skip to content

Merge pull request #621 from tweag/mp/remove_nixpkgs_cc_configure_dep… #1922

Merge pull request #621 from tweag/mp/remove_nixpkgs_cc_configure_dep…

Merge pull request #621 from tweag/mp/remove_nixpkgs_cc_configure_dep… #1922