Vincent Laporte 72ec248eda coqPackages.contribs.containers: make available for Coq 8.8		2018-04-25 06:27:21 +00:00
..
default.nix	coqPackages.contribs.containers: make available for Coq 8.8	2018-04-25 06:27:21 +00:00