diff options
| author | Martin Joerg <martin.joerg@gmail.com> | 2024-05-30 10:32:47 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-06-12 15:01:36 +0200 |
| commit | df5a1028392c687b4973594b64c81bcadf1a5a88 (patch) | |
| tree | 76839f5611872d9d6d308e899de10711ec103cc8 /pkgs/applications | |
| parent | 209a02747d1fc9323fda2befcf4bca63e2859a7a (diff) | |
cryptoverif: 2.08pl1 -> 2.09
https://gitlab.inria.fr/bblanche/CryptoVerif/-/raw/f32a46b5ac0f0694491b8219832e122ca4695b23/CHANGES
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/cryptoverif/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/cryptoverif/default.nix b/pkgs/applications/science/logic/cryptoverif/default.nix index 4b74cdd518ca2..7c95c21c2ccf3 100644 --- a/pkgs/applications/science/logic/cryptoverif/default.nix +++ b/pkgs/applications/science/logic/cryptoverif/default.nix @@ -1,12 +1,12 @@ { lib, stdenv, fetchurl, ocaml }: -stdenv.mkDerivation rec { +stdenv.mkDerivation (finalAttrs: { pname = "cryptoverif"; - version = "2.08pl1"; + version = "2.09"; src = fetchurl { - url = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${version}.tar.gz"; - hash = "sha256-rmORSZuhds9W2WpNgYf4AJM2jgEUPoJit4G64qLqj5w="; + url = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${finalAttrs.version}.tar.gz"; + hash = "sha256-FJlPZgTUZ+6HzhG/B0dOiVIjDvoCnF6yg2E9UriSojw="; }; /* Fix up the frontend to load the 'default' cryptoverif library @@ -48,4 +48,4 @@ stdenv.mkDerivation rec { platforms = lib.platforms.unix; maintainers = [ lib.maintainers.thoughtpolice ]; }; -} +}) |