Alyssa Ross 851b719ac6 treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate		2021-10-13 17:39:37 +00:00
..
4.4.0.nix	treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate	2021-10-13 17:39:37 +00:00
default.nix	z3: 4.8.10 -> 4.8.12	2021-09-24 11:46:21 +01:00
tptp.nix	treewide: remove meta.version	2021-07-18 00:07:38 +02:00