fmt: fmt_7 -> fmt_9

Change the default fmt alias from fmt_7 to fmt_9 (i.e. the latest).

Follow-up on PR #187482 (56603378ba).
This commit is contained in:
Nicolas Benes 2023-01-03 02:29:02 +01:00
parent f5b2bb846a
commit 2dbb06e267

View File

@ -19473,8 +19473,7 @@ with pkgs;
inherit (callPackages ../development/libraries/fmt { }) fmt_7 fmt_8 fmt_9;
fmt = fmt_7;
fmt_latest = fmt_9;
fmt = fmt_9;
fplll = callPackage ../development/libraries/fplll {};
fplll_20160331 = callPackage ../development/libraries/fplll/20160331.nix {};