coqPackages.containers: set broken to false