ocamlPackages.mopsa: fix propagated inputs

2025-11-04 18:42:46 +01:00
parent 6fdf87c097
commit 5c644ee904
1 changed files with 3 additions and 3 deletions
@@ -39,14 +39,14 @@ buildDunePackage rec {
  buildInputs = [
    arg-complete
    camlidl
-    flint
-    libclang
    mpfr
-    pplite
  ];

  propagatedBuildInputs = [
    apron
+    flint
+    libclang
+    pplite
    yojson
    zarith
  ];