diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-02-08 17:51:52 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-16 08:03:02 +0100 |
| commit | c845a272a58a463c90de03525848fdd82bba5e4b (patch) | |
| tree | 511bebe0b417e43cf38566098e0373460e463c79 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 4687b2ed82c90c135595cc0487b12d643991d542 (diff) | |
coqPackages.compcert: enable for Coq 8.15
and make version 3.9 the default for Coq 8.12
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions