Michael Raskin 3ed321dfab z3: enable build on non-x86_64 unix; checked the build on aarch64-linux		2020-11-27 11:52:07 +01:00
..
4.4.0.nix
default.nix
tptp.nix