3 Commits

Author	SHA1	Message	Date
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