diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-12-22 11:04:39 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2016-12-22 11:04:39 -0800 |
| commit | f06284b0dc28eb7c1a27c57e97bf087ab224a8e7 (patch) | |
| tree | 5e91dc864243829c4582e578de8ee3f540501234 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 4888bfecc28c0b74a18351a08cce5618c5b54868 (diff) | |
coq_8_6: Use ocamlPackages_4_03 rather than 4_01
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions