Commit 796a57ce authored by Martin Joerg's avatar Martin Joerg Committed by Austin Seipp
Browse files

cryptoverif: 2.09 -> 2.10 

https://gitlab.inria.fr/bblanche/CryptoVerif/-/raw/274bc28abf4b574ae0e98d08d8b4616b3849748b/CHANGES
parent 089bc420

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.09";

  version = "2.10";



  src = fetchurl {

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

    hash = "sha256-FJlPZgTUZ+6HzhG/B0dOiVIjDvoCnF6yg2E9UriSojw=";

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

  };



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