pyrox.dev
cryptoverif: 1.22 -> 1.28
Semi-automatic update. These checks were performed:
- built on NixOS
- ran `/nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28/bin/cryptoverif --help` got 0 exit code
- found 1.28 with grep in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
- found 1.28 in filename of file in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
authored by Ryan Mulligan and committed by Vincent Laporte 72a22296 424e2afe
+2
-2
pkgs/applications/science/logic/cryptoverif/default.nix
+2
-2
pkgs/applications/science/logic/cryptoverif/default.nix
···
2
2
3
3
stdenv.mkDerivation rec {
4
4
name = "cryptoverif-${version}";
5
-
version = "1.22";
5
+
version = "1.28";
6
6
7
7
src = fetchurl {
8
8
url = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${version}.tar.gz";
9
-
sha256 = "17fbmv0askgfnhs5a0ilhizvrr93jkmq82ybm3cgyxhh2zrk0rq1";
9
+
sha256 = "0vssz751g1nn8wclkiwgghpm475jl00xkivc164vgbr9acxsr7n7";
10
10
};
11
11
12
12
buildInputs = [ ocaml ];