diff options
author | Austin Seipp <aseipp@pobox.com> | 2016-11-10 03:44:41 +0000 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2016-11-10 03:45:51 +0000 |
commit | 0bdc0143fe87bc9357a5ad8e5379010aa67df1de (patch) | |
tree | eba94fe4114cb76aae539e39ecddea3e80c765ca /pkgs/applications/science/logic | |
parent | 14a3d2d2fff0717f12cb22a738149762bcc8a11c (diff) | |
download | nixpkgs-0bdc0143fe87bc9357a5ad8e5379010aa67df1de.tar nixpkgs-0bdc0143fe87bc9357a5ad8e5379010aa67df1de.tar.gz nixpkgs-0bdc0143fe87bc9357a5ad8e5379010aa67df1de.tar.bz2 nixpkgs-0bdc0143fe87bc9357a5ad8e5379010aa67df1de.tar.lz nixpkgs-0bdc0143fe87bc9357a5ad8e5379010aa67df1de.tar.xz nixpkgs-0bdc0143fe87bc9357a5ad8e5379010aa67df1de.tar.zst nixpkgs-0bdc0143fe87bc9357a5ad8e5379010aa67df1de.zip |
nixpkgs: proverif 1.94 -> 1.95
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic')
-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 4f5e9155078..8726f5affea 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.94"; + version = "1.95"; src = fetchurl { url = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif${version}.tar.gz"; - sha256 = "0dv2hgk76y0ap7dwf80qd94dmxjw47c50iavxgq5702k1d6qap56"; + sha256 = "01viwi6sccdxk723ycy1shklz8g29j5i3wj2mcwb3j7advvqmws2"; }; buildInputs = [ ocaml ]; |