diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2020-09-17 18:14:47 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-09-21 09:55:33 +0200 |
| commit | 0bbeca2ff952e6a171534793ddd0fa97c8f9546a (patch) | |
| tree | 48404bbd0d802c1fc5c755c2eacd634e252d44af | |
| parent | f3893d8b534dfb61472c09bd9c8a836599320e65 (diff) | |
ocamlPackages.zarith: 1.9 -> 1.10
| -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 1123cc0d2b4e9..f9996eb6af629 100644 --- a/pkgs/development/ocaml-modules/zarith/default.nix +++ b/pkgs/development/ocaml-modules/zarith/default.nix @@ -6,9 +6,9 @@ let source = if stdenv.lib.versionAtLeast ocaml.version "4.02" then { - version = "1.9"; - url = "https://github.com/ocaml/Zarith/archive/release-1.9.tar.gz"; - sha256 = "1xrqcaj5gp52xp4ybpnblw8ciwlgrr0zi7rg7hnk8x83isjkpmwx"; + version = "1.10"; + url = "https://github.com/ocaml/Zarith/archive/release-1.10.tar.gz"; + sha256 = "1qxrl0v2mk9wghc1iix3n0vfz2jbg6k5wpn1z7p02m2sqskb0zhb"; } else { version = "1.3"; url = "http://forge.ocamlcore.org/frs/download.php/1471/zarith-1.3.tgz"; |