coqPackages.containers: correct sha256 for the tarball
coqPackages.containers: set broken to false