diff options
| author | Jakub Kądziołka <kuba@kadziolka.net> | 2020-10-03 21:33:53 +0200 |
|---|---|---|
| committer | Jakub Kądziołka <kuba@kadziolka.net> | 2020-10-03 21:36:29 +0200 |
| commit | d9003bfd568848ec1daa380aa425ee202b87c835 (patch) | |
| tree | 0b0eb0603c9402a4e7c87c1bae48e54ee7fe423f /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 8205e12a453fc941cebc33e6ca9e40a5677406aa (diff) | |
isabelle: build with z3 4.4.0
Isabelle uses Z3 in a non-forwards-compatible manner, as it needs to
consume the proof objects Z3 produces. Building Isabelle with newer Z3
causes errors when trying to build a session that depends on
HOL-Library. Try
$ isabelle jedit -l HOL-Library
Fixes #99399.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions