Commit 8601deae authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

cryptoverif: 2.07 → 2.08pl1

parent 266cab68

pkgs/applications/science/logic/cryptoverif/default.nix

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


stdenv.mkDerivation rec {

  pname = "cryptoverif";

  version = "2.07";

  version = "2.08pl1";



  src = fetchurl {

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

    hash   = "sha256-GXXql4+JZ396BM6W2I3kN0u59xos7UCAtzR0IjMIETY=";

    hash = "sha256-rmORSZuhds9W2WpNgYf4AJM2jgEUPoJit4G64qLqj5w=";

  };



  /* Fix up the frontend to load the 'default' cryptoverif library