diff options
| author | Dennis Gosnell <cdep.illabout@gmail.com> | 2022-08-29 14:41:03 +0900 |
|---|---|---|
| committer | Dennis Gosnell <cdep.illabout@gmail.com> | 2022-08-29 14:41:03 +0900 |
| commit | 06ece659f09716f744ee5e6fcf5565d7dcbab30b (patch) | |
| tree | 09664cc05a3c20f1887e170f508ceac2ccd8376a /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | ab0f52080fd0d50babb45aae14f605ffdb096e62 (diff) | |
coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation function
`overrideCoqDerivation` allows end-users the ability to easily override
arguments to the underlying call to `mkCoqDerivation` for a given Coq
library.
This is similar to `haskell.lib.overrideCabal` for Haskell packages and
`.overridePythonAttrs` for Python packges.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions