diff options
author | Ryan Mulligan <ryan@ryantm.com> | 2018-02-25 17:47:19 -0800 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-02-26 08:32:20 +0100 |
commit | 72a22296dd3350871052f9304e514dc37d8520cc (patch) | |
tree | 320d4e217c1bdceb5dbbf5f3fc1c4deae79ea71f | |
parent | 424e2afefe908f4b0aafd38502326cdfde2933ec (diff) | |
download | nixlib-72a22296dd3350871052f9304e514dc37d8520cc.tar nixlib-72a22296dd3350871052f9304e514dc37d8520cc.tar.gz nixlib-72a22296dd3350871052f9304e514dc37d8520cc.tar.bz2 nixlib-72a22296dd3350871052f9304e514dc37d8520cc.tar.lz nixlib-72a22296dd3350871052f9304e514dc37d8520cc.tar.xz nixlib-72a22296dd3350871052f9304e514dc37d8520cc.tar.zst nixlib-72a22296dd3350871052f9304e514dc37d8520cc.zip |
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
-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 47077c2e255b..3257977f5b5a 100644 --- a/pkgs/applications/science/logic/cryptoverif/default.nix +++ b/pkgs/applications/science/logic/cryptoverif/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { name = "cryptoverif-${version}"; - version = "1.22"; + version = "1.28"; src = fetchurl { url = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${version}.tar.gz"; - sha256 = "17fbmv0askgfnhs5a0ilhizvrr93jkmq82ybm3cgyxhh2zrk0rq1"; + sha256 = "0vssz751g1nn8wclkiwgghpm475jl00xkivc164vgbr9acxsr7n7"; }; buildInputs = [ ocaml ]; |