diff options
| author | Yurii Rashkovskii <yrashk@gmail.com> | 2020-07-30 13:12:33 -0700 |
|---|---|---|
| committer | Bjørn Forsman <bjorn.forsman@gmail.com> | 2020-07-30 23:05:08 +0200 |
| commit | cc8369c461221705ecd0baba606e131c3f9445cd (patch) | |
| tree | 5509ab2c18236760b76944a8e5ad20a2bfa2abf5 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 39910f445ef626ecd0dbb04d0b4bb590449753c0 (diff) | |
why3: 1.2.1 -> 1.3.1
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions