diff --git a/pkgs/development/ocaml-modules/z3/default.nix b/pkgs/development/ocaml-modules/z3/default.nix index 39f893d41876..036c528de572 100644 --- a/pkgs/development/ocaml-modules/z3/default.nix +++ b/pkgs/development/ocaml-modules/z3/default.nix @@ -7,7 +7,7 @@ z3, }: -if lib.versionOlder ocaml.version "4.07" then +if lib.versionOlder ocaml.version "4.08" then throw "z3 is not available for OCaml ${ocaml.version}" else