diff options
author | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-07-05 08:49:58 +0000 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-07-05 10:49:58 +0200 |
commit | fcd93f9e078364193dbb6becf70527dcb3b7602d (patch) | |
tree | 9efb1d2158f53a086927b332806b4e6755533423 /pkgs/development/ocaml-modules/zarith | |
parent | 1612339b7608bd9c08db57077b97ca0cd227fce3 (diff) |
ocamlPackages.zarith: 1.4.1 -> 1.7 (#42886)
Diffstat (limited to 'pkgs/development/ocaml-modules/zarith')
-rw-r--r-- | pkgs/development/ocaml-modules/zarith/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/ocaml-modules/zarith/default.nix b/pkgs/development/ocaml-modules/zarith/default.nix index 5dc6a9056ad..e5d95497058 100644 --- a/pkgs/development/ocaml-modules/zarith/default.nix +++ b/pkgs/development/ocaml-modules/zarith/default.nix @@ -5,9 +5,9 @@ assert stdenv.lib.versionAtLeast ocaml.version "3.12.1"; let param = if stdenv.lib.versionAtLeast ocaml.version "4.02" then { - version = "1.4.1"; - url = http://forge.ocamlcore.org/frs/download.php/1574/zarith-1.4.1.tgz; - sha256 = "0l36hzmfbvdai2kcgynh13vfdim5x2grnaw61fxqalyjm90c3di3"; + version = "1.7"; + url = https://github.com/ocaml/Zarith/archive/release-1.7.tar.gz; + sha256 = "0fmblap5nsbqq0dab63d6b7lsxpc3snkgz7jfldi2qa4s1kbnhfn"; } else { version = "1.3"; url = http://forge.ocamlcore.org/frs/download.php/1471/zarith-1.3.tgz; |