ocamlPackages.apron: migrate to flint3

2026-01-12 02:40:31 +08:00 · 2025-03-28 11:36:08 +01:00
parent 090d04486f
commit 15f69d4bc0
1 changed files with 2 additions and 2 deletions
--- 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 ];