Vincent Laporte 1f11888116 Revert "coqPackages: etc" ... This reverts commit 7e589a45ef.		2022-05-13 06:47:14 +02:00
..
meta-fetch	coq: misc	2022-02-15 10:06:07 +01:00
default.nix	Revert "coqPackages: etc"	2022-05-13 06:47:14 +02:00
extra-lib.nix