Unverified Commit 82d2b121 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

cryptoverif: 2.11 -> 2.12 (#457000)

parents 7a7f92cd 0df0d364

pkgs/by-name/cr/cryptoverif/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -8,11 +8,11 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "cryptoverif";

  version = "2.11";

  version = "2.12";



  src = fetchurl {

    url = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${finalAttrs.version}.tar.gz";

    hash = "sha256-duc7t0Qpr1Z2FZEoufdQ7kcBlLbXHO+r9ivEgUxqK9s=";

    hash = "sha256-d3MIYb57+95bB493hdtHiGnTOronYaQo1Qqq1TcJh1c=";

  };



  /*