JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #40911 from vbgl/proverif-2.00

Browse Source 
proverif: 1.97pl1 -> 2.00
This commit is contained in:
Jörg Thalheim 2018-05-22 14:05:43 +01:00 committed by GitHub
commit 7a9bf82999
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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 = ''