BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

ocamlPackages.zarith: 1.4.1 -> 1.7 (#42886)

Browse source
This commit is contained in:
Vincent Laporte 2018-07-05 08:49:58 +00:00 committed by xeji
parent 1612339b76
commit fcd93f9e07
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/development/ocaml-modules/zarith/default.nix
View file

@ -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;