From 15f69d4bc018a0cb480714e94090cac4dc2a8448 Mon Sep 17 00:00:00 2001
From: Weijia Wang <9713184+wegank@users.noreply.github.com>
Date: Fri, 28 Mar 2025 11:36:08 +0100
Subject: [PATCH 1/2] ocamlPackages.apron: migrate to flint3

---
 pkgs/development/ocaml-modules/apron/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/ocaml-modules/apron/default.nix b/pkgs/development/ocaml-modules/apron/default.nix
index f1206bab6ffb..308803b75ced 100644
--- 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 ];

From 1b0e72bcafd8abb3a059d9b50e5d299e2c1e6ab7 Mon Sep 17 00:00:00 2001
From: Weijia Wang <9713184+wegank@users.noreply.github.com>
Date: Fri, 28 Mar 2025 11:36:13 +0100
Subject: [PATCH 2/2] ocamlPackages.mopsa: migrate to flint3

---
 pkgs/development/ocaml-modules/mopsa/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/ocaml-modules/mopsa/default.nix b/pkgs/development/ocaml-modules/mopsa/default.nix
index 456a7e85a663..f0f4196d3278 100644
--- a/pkgs/development/ocaml-modules/mopsa/default.nix
+++ b/pkgs/development/ocaml-modules/mopsa/default.nix
@@ -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