ocamlPackages.zarith: 1.7 -> 1.8

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2019-04-23 09:23:04 -05:00
parent 44da3f6522
commit 1daf31dc8e
No known key found for this signature in database
GPG Key ID: 25D2038DEB08021D

View File

@ -6,9 +6,9 @@
let source =
if stdenv.lib.versionAtLeast ocaml.version "4.02"
then {
version = "1.7";
url = https://github.com/ocaml/Zarith/archive/release-1.7.tar.gz;
sha256 = "0fmblap5nsbqq0dab63d6b7lsxpc3snkgz7jfldi2qa4s1kbnhfn";
version = "1.8";
url = https://github.com/ocaml/Zarith/archive/release-1.8.tar.gz;
sha256 = "1cn63c97aij19nrw5hc1zh1jpnbsdkzq99zyyk649c4s3xi3iqq7";
} else {
version = "1.3";
url = http://forge.ocamlcore.org/frs/download.php/1471/zarith-1.3.tgz;