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 /pkgs/development/python-modules/httpserver | |
| parent | 424e2afefe908f4b0aafd38502326cdfde2933ec (diff) | |
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
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions