3
0
Fork 0
forked from mirrors/nixpkgs

ocamlPackages: default to 4.06

This commit is contained in:
Vincent Laporte 2018-08-21 12:34:43 +00:00
parent 20af031a2f
commit 474c0aa221
No known key found for this signature in database
GPG key ID: EBD582ADDDB1F81F
2 changed files with 4 additions and 15 deletions

View file

@ -6735,13 +6735,9 @@ with pkgs;
mono = mono46;
};
fstar = callPackage ../development/compilers/fstar {
ocamlPackages = ocaml-ng.ocamlPackages_4_06;
};
fstar = callPackage ../development/compilers/fstar { };
pyre = callPackage ../development/tools/pyre {
ocamlPackages = ocaml-ng.ocamlPackages_4_06;
};
pyre = callPackage ../development/tools/pyre { };
dotnetPackages = recurseIntoAttrs (callPackage ./dotnet-packages.nix {});
@ -21862,9 +21858,7 @@ with pkgs;
sane-frontends = callPackage ../applications/graphics/sane/frontends.nix { };
satysfi = callPackage ../tools/typesetting/satysfi {
ocamlPackages = ocaml-ng.ocamlPackages_4_06;
};
satysfi = callPackage ../tools/typesetting/satysfi { };
sc-controller = pythonPackages.callPackage ../misc/drivers/sc-controller {
inherit libusb1; # Shadow python.pkgs.libusb1.

View file

@ -1072,10 +1072,5 @@ in rec
ocamlPackages_latest = ocamlPackages_4_07;
ocamlPackages =
# OCaml 4.05 is broken on aarch64
if system == "aarch64-linux" then
ocamlPackages_4_06
else
ocamlPackages_4_05;
ocamlPackages = ocamlPackages_4_06;
}