From d9003bfd568848ec1daa380aa425ee202b87c835 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20K=C4=85dzio=C5=82ka?= <kuba@kadziolka.net>
Date: Sat, 3 Oct 2020 21:33:53 +0200
Subject: [PATCH] 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.
---
 pkgs/top-level/all-packages.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index c1e75cadc83..3b0d0743dcd 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -26348,6 +26348,7 @@ in
     });
 
     java = openjdk11;
+    z3 = z3_4_4_0;
   };
 
   iprover = callPackage ../applications/science/logic/iprover { };