diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2022-06-18 11:22:29 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-18 11:22:29 -0700 |
| commit | 59b00d53360b2bbe6d686d336065b516c7f31f9f (patch) | |
| tree | 60b5bb7ceb64625b45503a0c909084d83a0b84ee /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 7ef251f480488b7db126d00712cb3502f39a6854 (diff) | |
| parent | af888339b6c7d1c8c5b8857271d80a23dc849b39 (diff) | |
Merge pull request #178131 from vbgl/coq-fix-issue-178109
mkCoqDerivation: do not set DESTDIR
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions