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