3 Commits

Author	SHA1	Message	Date
Pavol Rusnak	a6ce00c50c	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
Ben Siraphob	badf51221d	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
Michael Raskin	4149a662a7	petrinizer: fix build by pinning the neccessary library versions	2019-09-07 13:33:50 +03:00