Unverified Commit 7d0f2651 authored by OTABI Tomoya's avatar OTABI Tomoya Committed by GitHub
Browse files

cryptoverif: 2.10 -> 2.11 (#345055)

parents 9b9637d6 0f94b8ea

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

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


stdenv.mkDerivation (finalAttrs: {

  pname = "cryptoverif";

  version = "2.10";

  version = "2.11";



  src = fetchurl {

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

    hash = "sha256-Gg7PYMB5cYWk9+xuxxcFY9L9vynHX2xYyMDo/0DauPM=";

    hash = "sha256-duc7t0Qpr1Z2FZEoufdQ7kcBlLbXHO+r9ivEgUxqK9s=";

  };



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