diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-02-16 14:09:43 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2018-02-16 14:10:45 -0800 |
| commit | d8720dd19a7d3c2c36e9e24120fde8dd1f62ec17 (patch) | |
| tree | 2bc2fe36db32eca3aff747e318492245d9779d66 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 3b9874452d04ac9055c1f2f143c9332a2f54e402 (diff) | |
compcert: Permit building with Coq 8.7.2
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions