2 commits

Author	SHA1	Message	Date
Ben Siraphob	82454e9df8	treewide: remove implicit use of stdenv.lib	2021-01-27 20:04:57 +07:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00