diff options
| author | Dennis Gosnell <cdep.illabout@gmail.com> | 2022-09-11 08:41:55 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-11 08:41:55 -0400 |
| commit | a3f5759e532bb3065ddfa828d6e8e587c274c597 (patch) | |
| tree | d52306dc92db5f766332d2cd13063474f6310f09 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | a4f3bae604827028fb6347fc35fa96d3a4438154 (diff) | |
| parent | 346454873ef27dc476fcbdab9a6b9188ab1d0fcb (diff) | |
Merge pull request #188766 from cdepillabout/overrideCoqDerivation
coqPackages.mkCoqDerivation: add a lib.overrideCoqDerivation function
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions