Merge pull request #210144 from wegank/ocaml-bump-obsolete

This commit is contained in:
Sandro 2023-01-15 02:45:45 +01:00 committed by GitHub
commit c83517aba7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -15222,7 +15222,7 @@ with pkgs;
ocsigen-i18n = callPackage ../development/tools/ocaml/ocsigen-i18n { };
opa = callPackage ../development/compilers/opa {
ocamlPackages = ocaml-ng.ocamlPackages_4_04;
ocamlPackages = ocaml-ng.ocamlPackages_4_05;
};
opaline = callPackage ../development/tools/ocaml/opaline { };
@ -30956,7 +30956,7 @@ with pkgs;
};
monotoneViz = callPackage ../applications/version-management/monotone-viz {
ocamlPackages = ocaml-ng.ocamlPackages_4_01_0;
ocamlPackages = ocaml-ng.ocamlPackages_4_05;
};
monitor = callPackage ../applications/system/monitor {