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

proverif: 1.97pl1 -> 2.00

Browse source
This commit is contained in:
Vincent Laporte 2018-05-22 05:49:20 +00:00
parent c68996f147
commit ae23bb2bcc
No known key found for this signature in database
GPG key ID: EBD582ADDDB1F81F
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,15 +1,15 @@
{ stdenv, fetchurl, ocaml }:
{ stdenv, fetchurl, ocamlPackages }:
stdenv.mkDerivation rec {
name = "proverif-${version}";
version = "1.97pl1";
version = "2.00";
src = fetchurl {
url = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif${version}.tar.gz";
sha256 = "1b0ji68crdli40a4z62gdq6fnygj3z2j63iaq4jki7wfc3nn3vgq";
sha256 = "0vjphj85ch9q39vc7sd6n4vxy5bplp017vlshk989yhfwb00r37y";
};
buildInputs = [ ocaml ];
buildInputs = with ocamlPackages; [ ocaml findlib lablgtk ];
buildPhase = "./build";
installPhase = ''