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	treewide: ran ./maintainers/scripts/update_redirected_urls.sh	2020-11-27 01:23:57 +01:00
default.nix	z3: enable build on non-x86_64 unix; checked the build on aarch64-linux	2020-11-27 11:52:07 +01:00
tptp.nix	z3-tptp: init	2019-01-22 16:51:18 +01:00