5 commits

Author	SHA1	Message	Date
Connor Baker	9c83a461e5	ocamlPackages.z3: Remove unecessary patch ... Reported in https://github.com/Z3Prover/z3/issues/5776 and fixed in 4f6fcf8ea7.	2022-03-25 11:55:54 -04:00
Ulrik Strid	a13cdfe520	ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs ... To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier	2022-02-24 14:39:27 +01:00
Vincent Laporte	8024b6bcd9	ocamlPackages.z3: fix build	2022-01-14 12:40:17 +01:00
Felix Buehler	565234fdb9	ocaml/z3: deprecate phases	2021-08-04 17:43:19 +02:00
Vincent Laporte	cc739e1c67	ocamlPackages.z3: init at 4.8.9	2020-09-30 22:03:17 +02:00