Unverified Commit 225be843 authored by Yifei Sun's avatar Yifei Sun Committed by GitHub
Browse files

ocamlPackages.mopsa: fix propagated inputs (#458538)

parents 3f33202d 5c644ee9
Loading
Loading
Loading
Loading
+3 −3
Original line number Diff line number Diff line
@@ -39,14 +39,14 @@ buildDunePackage rec {
  buildInputs = [
    arg-complete
    camlidl
    flint
    libclang
    mpfr
    pplite
  ];

  propagatedBuildInputs = [
    apron
    flint
    libclang
    pplite
    yojson
    zarith
  ];