rPackages.flint: fixed build (#387000)

2025-03-05 18:52:15 +11:00
parent 9ed401a6af ba049fb493
commit a4ce1e8d24
1 changed files with 1 additions and 0 deletions
@@ -375,6 +375,7 @@ let
    fcl = with pkgs; [ cargo rustc ];
    fftw = [ pkgs.fftw.dev ];
    fftwtools = with pkgs; [ fftw.dev pkg-config ];
+    flint = with pkgs; [ pkg-config gmp.dev mpfr.dev flint3 ];
    fingerPro = [ pkgs.gsl ];
    Formula = [ pkgs.gmp ];
    frailtyMMpen = [ pkgs.gsl ];