Shawn8901 4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules		2023-01-21 23:19:48 +01:00
..
8.10.0+0.7.2.patch
8.11.0+0.11.1.patch
8.12.0+0.12.1.patch
default.nix	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
janestreet-0.15.patch