diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-12-10 17:03:29 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-12-18 08:20:10 +0100 |
| commit | 66c0fc3609a31ee090a925264f2c76c0d2af8ac0 (patch) | |
| tree | e67bb4726af8c698e89e263b6f43d9a529e07d2f | |
| parent | b49a3fb8521706bb9ae9d2bfae4c7008ff649941 (diff) | |
cryptoverif: 2.03pl1 → 2.04
| -rw-r--r-- | pkgs/applications/science/logic/cryptoverif/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/cryptoverif/default.nix b/pkgs/applications/science/logic/cryptoverif/default.nix index 98d0a2637a7e..78861786defa 100644 --- a/pkgs/applications/science/logic/cryptoverif/default.nix +++ b/pkgs/applications/science/logic/cryptoverif/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { pname = "cryptoverif"; - version = "2.03pl1"; + version = "2.04"; src = fetchurl { url = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${version}.tar.gz"; - sha256 = "0q7qa1qm7mbky3m36445gdmgmkb9mrhrdsk7mmwn8fzw0rfc6z00"; + sha256 = "1mzk6n0g2vdsv38y493zg85lxrpz72b92cmsray3g970xzanqd6s"; }; buildInputs = [ ocaml ]; |