diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-01-27 10:24:30 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-01-31 14:09:51 +0100 |
| commit | fa709922f3b49bf0c7985129fda8222166a99edf (patch) | |
| tree | ef9fb55c766d86b1cce5576a5b636a650f7fa21d /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 355b31c98ef400016b6bef38b09117667370e8eb (diff) | |
coqPackages.tlc: disable for Coq > 8.10
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions