diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-13 20:01:42 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-13 20:01:55 +0200 |
| commit | cc5491d02c1cb6c75d9966b98ff63c3ab8fcd875 (patch) | |
| tree | e3c37bf0ed33a8b3200f961d0673af76d213f9f9 /pkgs | |
| parent | 4cbe7bda701c2808c8a72a02e59ce56d3a595753 (diff) | |
| download | nixlib-cc5491d02c1cb6c75d9966b98ff63c3ab8fcd875.tar nixlib-cc5491d02c1cb6c75d9966b98ff63c3ab8fcd875.tar.gz nixlib-cc5491d02c1cb6c75d9966b98ff63c3ab8fcd875.tar.bz2 nixlib-cc5491d02c1cb6c75d9966b98ff63c3ab8fcd875.tar.lz nixlib-cc5491d02c1cb6c75d9966b98ff63c3ab8fcd875.tar.xz nixlib-cc5491d02c1cb6c75d9966b98ff63c3ab8fcd875.tar.zst nixlib-cc5491d02c1cb6c75d9966b98ff63c3ab8fcd875.zip | |
proverif: 1.95 -> 1.97pl1
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/applications/science/logic/proverif/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/proverif/default.nix b/pkgs/applications/science/logic/proverif/default.nix index 8726f5affea7..6fe45e653dc5 100644 --- a/pkgs/applications/science/logic/proverif/default.nix +++ b/pkgs/applications/science/logic/proverif/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { name = "proverif-${version}"; - version = "1.95"; + version = "1.97pl1"; src = fetchurl { url = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif${version}.tar.gz"; - sha256 = "01viwi6sccdxk723ycy1shklz8g29j5i3wj2mcwb3j7advvqmws2"; + sha256 = "1b0ji68crdli40a4z62gdq6fnygj3z2j63iaq4jki7wfc3nn3vgq"; }; buildInputs = [ ocaml ]; |