diff options
| author | Cyril Cohen <cohen@crans.org> | 2019-04-09 01:07:42 +0200 |
|---|---|---|
| committer | Cyril Cohen <cohen@crans.org> | 2019-04-10 12:56:57 +0200 |
| commit | f7bf3d2239ed578b6054ba500c6a75a4206eed29 (patch) | |
| tree | 3d69aad9a67cec9c6d644300473532102f17ca26 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | ed426e4df8468e5b9517a8e2d54dd2c26aaa8ccf (diff) | |
coqPackages: refactor
Coq packages that depend on others need to be recompiled when the dependencies are updated, so we make the whole `coqPackages` overridable by `overrideScope'`, using `lib.makeScope`.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions