1 2 3 4 5 6
{ lib, callPackage }: lib.recurseIntoAttrs { overrideCoqDerivation = callPackage ./overrideCoqDerivation { }; }