diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-09-09 11:00:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-09 11:00:00 +0200 |
| commit | ca2a71d9c24132f2ea60e577e0e4194fbaeb0deb (patch) | |
| tree | 4864cdab0b29107f3b150900d27c6375d7f60d64 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 80d47216d771fe507c14876783371c9b660a4bd4 (diff) | |
| parent | 9c0b43603a9450e67c56fda0f446a57227c88955 (diff) | |
Merge pull request #190356 from vbgl/coq_8_16
coqPackages_8_16: enable a few packages for Coq 8.16
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions