Unverified Commit 5c29fd7d authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

ocamlPackages.{apron,mopsa}: migrate to flint3 (#393959)

parents 95123ead 1b0e72bc

pkgs/development/ocaml-modules/apron/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -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 ];

pkgs/development/ocaml-modules/mopsa/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 
  clang,

  libclang,

  libllvm,

  flint,

  flint3,

  mpfr,

  pplite,

  ocaml,
@@ -39,7 +39,7 @@ buildDunePackage rec { 
  buildInputs = [

    arg-complete

    camlidl

    flint

    flint3

    libclang

    mpfr

    pplite