Commit 0df0d364 authored by R. RyanTM's avatar R. RyanTM
Browse files

cryptoverif: 2.11 -> 2.12

parent 7f40afa6

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=";

  };



  /*