3 Commits

Author	SHA1	Message	Date
Yifei Sun	3d0affa9c9	python3Packages.z3-solver: rename from z3	2023-12-06 12:30:03 -05:00
Guillaume Girol	33afbf39f6	treewide: switch to nativeCheckInputs ... checkInputs used to be added to nativeBuildInputs. Now we have nativeCheckInputs to do that instead. Doing this treewide change allows to keep hashes identical to before the introduction of nativeCheckInputs.	2023-01-21 12:00:00 +00:00
Fabian Affolter	0d095b3a0a	amoco: init at 2.9.8	2022-09-29 08:50:46 +02:00