diff options
author | John Wiegley <johnw@newartisans.com> | 2017-07-10 18:04:14 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-07-10 18:35:55 -0700 |
commit | e78b9a68a0fbbb791dbb297d17f94578e5f46643 (patch) | |
tree | 79dccf884e0e1cc3d8017dd680d3a2155bfa603b /pkgs/development/coq-modules/paco | |
parent | 42e6b754fbc5c0d887f4730fcc1de77800000b93 (diff) |
coqPackages.paco: 1.2.7 -> 1.2.8
Diffstat (limited to 'pkgs/development/coq-modules/paco')
-rw-r--r-- | pkgs/development/coq-modules/paco/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/paco/default.nix b/pkgs/development/coq-modules/paco/default.nix index 98d447d21d382..93ef7c14f1f3c 100644 --- a/pkgs/development/coq-modules/paco/default.nix +++ b/pkgs/development/coq-modules/paco/default.nix @@ -3,11 +3,11 @@ stdenv.mkDerivation rec { name = "coq-paco-${coq.coq-version}-${version}"; - version = "1.2.7"; + version = "1.2.8"; src = fetchurl { url = "http://plv.mpi-sws.org/paco/paco-${version}.zip"; - sha256 = "010fs74c0cmb9sz5dmrgzg4pmb2mgwia4gm0g9l7j2fq5xxcschb"; + sha256 = "1lcmdr0y2d7gzyvr8dal3pi7fibbd60bpi1l32fw89xiyrgqhsqy"; }; buildInputs = [ coq.ocaml coq.camlp5 unzip ]; |