Unverified Commit 5b0812fa authored by Gabriel Ebner's avatar Gabriel Ebner Committed by GitHub
Browse files

Merge pull request #97321 from vbgl/proverif-2.02pl1 

proverif: 2.01 → 2.02pl1
parents 7b537f99 2a82f71b

pkgs/applications/science/logic/proverif/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -2,11 +2,11 @@ 


stdenv.mkDerivation rec {

  pname = "proverif";

  version = "2.01";

  version = "2.02pl1";



  src = fetchurl {

    url    = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif${version}.tar.gz";

    sha256 = "01wp5431c77z0aaa99h8bnm5yhr6jslpqc8iyg0a7gxfqnb19gxi";

    sha256 = "1jmzfpx0hdgfmkq0jp6i3k5av9xxgndjaj743wfy37svn0ga4jjx";

  };



  buildInputs = with ocamlPackages; [ ocaml findlib lablgtk ];