Shea Levy 4d781f329d z3_4_4_0: Fix build on darwin.		2022-06-23 12:40:46 -04:00
..
4.4.0.nix	z3_4_4_0: Fix build on darwin.	2022-06-23 12:40:46 -04:00
default.nix	z3: Remove unused fetchpatch	2022-04-05 09:22:52 -04:00
tptp.nix