diff options
| author | Kovacsics Robert <rmk35@cam.ac.uk> | 2020-02-26 10:08:38 +0000 |
|---|---|---|
| committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2020-03-02 09:13:12 +0100 |
| commit | f4c29ebfc2b599005f874509938171c73d833d33 (patch) | |
| tree | 38b0aa78281b516df30d1b62a5cb0570a6c957b8 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | f8c402ecad06da9dc703cddaf74942472057dbd4 (diff) | |
polyml: updated maintainers
I am not sure if we still need the old packages, nothing explicitly
depends on polyml56 or polyml57 according to a grep, not sure if
external packages might (hol and isabelle depend on polyml, the latest
version).
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions