coqPackages.containers: correct sha256 for the tarball

This commit is contained in:
John Wiegley 2014-10-11 12:59:57 -05:00
parent b4a7c1a6e2
commit a064080d8c

View file

@ -6,7 +6,7 @@ stdenv.mkDerivation {
src = fetchurl {
url = http://coq.inria.fr/pylons/contribs/files/Containers/v8.4/Containers.tar.gz;
sha256 = "1y9x2lwrskv2231z9ac3kv4bmg6h1415xpp4gl7v5w90ba6p6w8w";
sha256 = "0z7yk0g7zkniwc73ka7wwb5jjg5a2wr1krrn3akr7kn5z3gvy2mc";
};
buildInputs = [ coq.ocaml coq.camlp5 ];