From 2dbb06e267e5b4e657ca71df8363cc0ab3396423 Mon Sep 17 00:00:00 2001
From: Nicolas Benes <nbenes.gh@xandea.de>
Date: Tue, 3 Jan 2023 02:29:02 +0100
Subject: [PATCH] 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 (56603378ba3fa9877ad69e2bf8c55709e061fdfd).
---
 pkgs/top-level/all-packages.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 649e19e17661..dd146107354f 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -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 {};