From 8946046dd0d1f496fefbcefe09fbf42d916390ff Mon Sep 17 00:00:00 2001
From: Weijia Wang <9713184+wegank@users.noreply.github.com>
Date: Fri, 21 Mar 2025 11:52:40 +0100
Subject: [PATCH] normaliz: migrate to flint3

---
 pkgs/by-name/no/normaliz/package.nix | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/pkgs/by-name/no/normaliz/package.nix b/pkgs/by-name/no/normaliz/package.nix
index 5c660e5de41c..50de4181591a 100644
--- a/pkgs/by-name/no/normaliz/package.nix
+++ b/pkgs/by-name/no/normaliz/package.nix
@@ -4,8 +4,7 @@
   fetchFromGitHub,
   autoreconfHook,
   gmpxx,
-  flint,
-  arb,
+  flint3,
   nauty,
 }:
 
@@ -22,8 +21,7 @@ stdenv.mkDerivation (finalAttrs: {
 
   buildInputs = [
     gmpxx
-    flint
-    arb
+    flint3
     nauty
   ];