BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

proverif: 1.95 -> 1.97pl1

Browse source
This commit is contained in:
Vincent Laporte 2017-09-13 20:01:42 +02:00
parent 4cbe7bda70
commit cc5491d02c
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/proverif/default.nix
View file

@ -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 ];