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] 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 ];