diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-12-22 10:34:56 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2016-12-22 10:35:56 -0800 |
| commit | 4888bfecc28c0b74a18351a08cce5618c5b54868 (patch) | |
| tree | 2b2e2a1437e9b466f56bb113c55239689a9980ff /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 603dbfc5a9ea77e4a98e46274843139a8501deda (diff) | |
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect
Addresses #14829
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions