obliv-c: use OCaml 4.05

This commit is contained in:
Vincent Laporte 2018-08-28 04:52:28 +00:00
parent 6a220840af
commit 5670f77a90
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F

View File

@ -7088,7 +7088,9 @@ with pkgs;
nvidia_cg_toolkit = callPackage ../development/compilers/nvidia-cg-toolkit { };
obliv-c = callPackage ../development/compilers/obliv-c {};
obliv-c = callPackage ../development/compilers/obliv-c {
ocamlPackages = ocaml-ng.ocamlPackages_4_05;
};
ocaml-ng = callPackage ./ocaml-packages.nix { };
ocaml = ocamlPackages.ocaml;