Commit 1b0e72bc authored by Weijia Wang's avatar Weijia Wang
Browse files

ocamlPackages.mopsa: migrate to flint3

parent 15f69d4b

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