z3_4_12: 4.12.1 -> 4.12.2

https://github.com/Z3Prover/z3/releases/tag/z3-4.12.2
This commit is contained in:
Mario Rodas 2023-06-24 04:20:00 +00:00
parent f87301f5f1
commit cce7280539

View file

@ -89,8 +89,8 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }:
in
{
z3_4_12 = common {
version = "4.12.1";
sha256 = "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus=";
version = "4.12.2";
sha256 = "sha256-DTgpKEG/LtCGZDnicYvbxG//JMLv25VHn/NaF307JYA=";
};
z3_4_11 = common {
version = "4.11.2";