flint: Move to by-name

This commit is contained in:
Ross Smyth
2025-09-21 15:53:37 -04:00
parent 3ee909bfa4
commit 2088c72747
4 changed files with 2 additions and 5 deletions

View File

@@ -25,7 +25,7 @@ assert
-> openblas != null && blas.implementation == "openblas" && lapack.implementation == "openblas";
stdenv.mkDerivation (finalAttrs: {
pname = "flint3";
pname = "flint";
version = "3.3.1";
src = fetchurl {

View File

@@ -900,6 +900,7 @@ mapAliases {
flashrom-stable = flashprog; # Added 2024-03-01
flatbuffers_2_0 = flatbuffers; # Added 2022-05-12
flatcam = throw "flatcam has been removed because it is unmaintained since 2022 and doesn't support Python > 3.10"; # Added 2025-01-25
flint3 = flint; # Added 2025-09-21
floorp = throw "floorp has been replaced with floorp-bin, as building from upstream sources has become unfeasible starting with version 12.x"; # Added 2025-09-06
floorp-unwrapped = throw "floorp-unwrapped has been replaced with floorp-bin-unwrapped, as building from upstream sources has become unfeasible starting with version 12.x"; # Added 2025-09-06
flow-editor = flow-control; # Added 2025-03-05

View File

@@ -7446,10 +7446,6 @@ with pkgs;
};
fftwMpi = fftw.override { enableMpi = true; };
flint = flint3;
flint3 = callPackage ../development/libraries/flint/3.nix { };
fltk13 = callPackage ../development/libraries/fltk { };
fltk14 = callPackage ../development/libraries/fltk/1.4.nix { };
fltk13-minimal = fltk13.override {