diff --git a/pkgs/development/coq-modules/vcfloat/default.nix b/pkgs/development/coq-modules/vcfloat/default.nix
index 7e9aca3ea7d9..099efcfc6bb9 100644
--- a/pkgs/development/coq-modules/vcfloat/default.nix
+++ b/pkgs/development/coq-modules/vcfloat/default.nix
@@ -21,6 +21,10 @@ let
     defaultVersion =
       with lib.versions;
       lib.switch coq.coq-version [
+        {
+          case = isEq "8.20";
+          out = "2.3";
+        }
         {
           case = isEq "8.19";
           out = "2.2";
@@ -30,6 +34,7 @@ let
           out = "2.1.1";
         }
       ] null;
+    release."2.3".sha256 = "sha256-fV7w/kYTpcBxrHFzEvx+eydDHbGH05/seucrgSjKK3w=";
     release."2.2".sha256 = "sha256-PyMm84ZYh+dOnl8Kk2wlYsQ+S/d1Hsp6uv2twTedEPg=";
     release."2.1.1".sha256 = "sha256-bd/XSQhyFUAnSm2bhZEZBWB6l4/Ptlm9JrWu6w9BOpw=";
     releaseRev = v: "v${v}";