mkDerivation
pkgs.agdaPackages.mkDerivation
Docs pulled from | This Revision | about 1 hour ago
Contribute
Enhance the ecosystem with your expertise! Contribute to fill the gaps in documentation. Your input can make a difference.
Noogle detected
Implementation
The following is the current implementation of this function.
args: stdenv.mkDerivation (args // defaults args)