diff --git a/pkgs/development/ocaml-modules/apron/default.nix b/pkgs/development/ocaml-modules/apron/default.nix index c329f36bf345..a57e4a1007ef 100644 --- a/pkgs/development/ocaml-modules/apron/default.nix +++ b/pkgs/development/ocaml-modules/apron/default.nix @@ -31,13 +31,15 @@ stdenv.mkDerivation (finalAttrs: { ]; buildInputs = [ gmp - mpfr ppl - camlidl flint pplite ]; - propagatedBuildInputs = [ mlgmpidl ]; + propagatedBuildInputs = [ + camlidl + mlgmpidl + mpfr + ]; outputs = [ "out"