Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
Nix
123456{ lib, callPackage }:
lib.recurseIntoAttrs { overrideCoqDerivation = callPackage ./overrideCoqDerivation { };}
123456{ lib, callPackage }:
lib.recurseIntoAttrs { overrideCoqDerivation = callPackage ./overrideCoqDerivation { };}