diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-08-30 12:36:30 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-09-06 11:51:34 +0000 |
| commit | 5b3dc48f19f06f0fadab501ca10e37a512c134b5 (patch) | |
| tree | dee91c347a7a8c3f0b1f662fe076f19ac0ddee97 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 79303d40650c52e32f8a8b5ff2e21e0a08a96926 (diff) | |
coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0
Ensures compatibility with Coq ≥ 8.9
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions