3 Commits

Author	SHA1	Message	Date
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