Shawn8901 4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules		2023-01-21 23:19:48 +01:00
..
cvc4.nix	coqPackages_8_13.smtcoq.cvc4: fix build by using older make	2023-01-11 08:43:14 +01:00
default.nix	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
minisat-fenv.patch