normaliz: migrate to flint3

2026-10-02 21:10:08 +00:00 · 2025-03-21 11:52:40 +01:00
parent 72cda846bf
commit 8946046dd0
1 changed files with 2 additions and 4 deletions
--- 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
  ];