diff --git a/pkgs/development/ocaml-modules/apron/default.nix b/pkgs/development/ocaml-modules/apron/default.nix index f1206bab6ffb..308803b75ced 100644 --- a/pkgs/development/ocaml-modules/apron/default.nix +++ b/pkgs/development/ocaml-modules/apron/default.nix @@ -10,7 +10,7 @@ findlib, camlidl, mlgmpidl, - flint, + flint3, pplite, }: @@ -34,7 +34,7 @@ stdenv.mkDerivation rec { mpfr ppl camlidl - flint + flint3 pplite ]; propagatedBuildInputs = [ mlgmpidl ];