diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-12-02 20:14:44 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-12-09 17:45:15 +0100 |
| commit | a2dc97cd5c43a4cbee5b3c827cd82d7fbe0d5cf9 (patch) | |
| tree | 9f260e82cefc45f77fac45e65e00efce191ce90e /pkgs/applications/science | |
| parent | 595ceaf3a78959f9c52f7fcf0cbccb4fb9a8d1e7 (diff) | |
proverif: 2.03 → 2.04
Diffstat (limited to 'pkgs/applications/science')
| -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 fbc9eb2d8a157..b6d15162fec35 100644 --- a/pkgs/applications/science/logic/proverif/default.nix +++ b/pkgs/applications/science/logic/proverif/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { pname = "proverif"; - version = "2.03"; + version = "2.04"; src = fetchurl { url = "https://bblanche.gitlabpages.inria.fr/proverif/proverif${version}.tar.gz"; - sha256 = "sha256:1q5mp9il09jylimcaqczb3kh34gb5px88js127gxv0jj5b4bqfc7"; + sha256 = "sha256:0xgwnp59779xc40sb7ck8rmfn620pilxyq79l3bymj9m7z0mwvm9"; }; buildInputs = with ocamlPackages; [ ocaml findlib ]; |