Vincent Laporte f6db90a389 coqPackages.coq-bits: enable for Coq 8.11 and 8.12		2020-07-09 08:17:49 +02:00
..
default.nix	coqPackages.coq-bits: enable for Coq 8.11 and 8.12	2020-07-09 08:17:49 +02:00