diff --git a/pkgs/development/rocq-modules/mathcomp-infotheo/default.nix b/pkgs/development/rocq-modules/mathcomp-infotheo/default.nix
index d952f5cbabcd..0974cd12f8e5 100644
--- a/pkgs/development/rocq-modules/mathcomp-infotheo/default.nix
+++ b/pkgs/development/rocq-modules/mathcomp-infotheo/default.nix
@@ -33,6 +33,7 @@
     lib.switch
       [ coq.coq-version mathcomp-analysis.version ]
       [
+        (case (range "9.1" "9.2") (isGe "1.18") "0.9.8")
         (case (range "9.0" "9.1") (isGe "1.12") "0.9.7")
         (case (range "8.20" "9.1") (isGe "1.12") "0.9.6")
         (case (range "8.20" "8.20") (range "1.12" "1.13") "0.9.4")
@@ -48,6 +49,7 @@
         (case (range "8.15" "8.16") (range "0.5.4" "0.6.5") "0.5.1")
       ]
       null;
+  release."0.9.8".hash = "sha256-yo+r8RC02a8r3nDpFe5mO+q1qTrdHXKPMDxyFCf+A1k=";
   release."0.9.7".hash = "sha256-cmkBh2vw02R/UivGqaEpg89LMGR/i5Q14IEZDhjFA+Y=";
   release."0.9.6".hash = "sha256-7gwtqTzMMEhUDz2XdxamAqjSdST0HrbWJHQ/YTDRR5E=";
   release."0.9.4".hash = "sha256-btHOBNMdXvlG2jxC04+4qmIjeyuaqtyugm2Ruj3lQr8=";