Anders Kaseorg
6920d8ca42
treewide: Simplify negated uses of versionAtLeast, versionOlder
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-04-25 13:35:24 -07:00
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
