Unverified Commit 6ee239aa authored by Vincent Laporte's avatar Vincent Laporte
Browse files

ocaml: default to version 5.3

parent f46ecca1

pkgs/top-level/all-packages.nix

+4 −0
Original line number Diff line number Diff line
@@ -393,6 +393,8 @@ with pkgs; 
    catch2 = catch2_3;

  };













  eff = callPackage ../by-name/ef/eff/package.nix { ocamlPackages = ocaml-ng.ocamlPackages_5_2; };



























  enochecker-test = with python3Packages; callPackage ../development/tools/enochecker-test { };





























  inherit (gridlock) nyarr;










@@ -8353,9 +8355,11 @@ with pkgs;













  };





























  framac = callPackage ../by-name/fr/framac/package.nix {













    ocamlPackages = ocaml-ng.ocamlPackages_5_2;















    why3 = why3.override {















      version = "1.7.2";















      coqPackages = coqPackages_8_18;













      ocamlPackages = ocaml-ng.ocamlPackages_5_2;















    };















  };















































pkgs/top-level/ocaml-packages.nix



+1
−1






























Original line number
Diff line number
Diff line








@@ -2342,7 +2342,7 @@ rec {





























  ocamlPackages_latest = ocamlPackages_5_3;





























  ocamlPackages = ocamlPackages_5_2;













  ocamlPackages = ocamlPackages_5_3;































  # We still have packages that rely on unsafe-string, which is deprecated in OCaml 4.06.0.















  # Below are aliases for porting them to the latest versions of the OCaml 4 series.