diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2022-01-02 10:51:58 +0100 |
|---|---|---|
| committer | Jan van Brügge <supermanitu@gmail.com> | 2022-01-02 11:29:44 +0100 |
| commit | 63e9fb044878be5d2eace2802739e9b4547d50be (patch) | |
| tree | da49f27824d511146aec94bf151f6753470e636d /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | b54e5a841b2118a51397eefaab2408daaa5e99e5 (diff) | |
isabelle: Use openjdk17
This is the same openjdk version that is used in upstream isabelle.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions