6 Commits

Author	SHA1	Message	Date
Shea Levy	4d781f329d	z3_4_4_0: Fix build on darwin.	2022-06-23 12:40:46 -04:00
Felix Buehler	3bc5196252	treewide: rename name to pname&version	2022-03-23 22:55:50 +01:00
Alyssa Ross	851b719ac6	treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate	2021-10-13 17:39:37 +00:00
Ben Siraphob	badf51221d	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
Patrick Hilhorst	a6b3bb24e4	treewide: ran ./maintainers/scripts/update_redirected_urls.sh	2020-11-27 01:23:57 +01:00
Jakub Kądziołka	8205e12a45	z3_4_4_0: add old version for Isabelle	2020-10-03 21:32:22 +02:00