diff --git a/flake.lock b/flake.lock
index 3dbb3eef..05958d8f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -5,11 +5,11 @@
         "systems": "systems"
       },
       "locked": {
-        "lastModified": 1710146030,
-        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
+        "lastModified": 1726560853,
+        "narHash": "sha256-X6rJYSESBVr3hBoH0WbKE5KvhPU5bloyZ2L4K60/fPQ=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
+        "rev": "c1dfcf08411b08f6b8615f7d8971a2bfa81d5e8a",
         "type": "github"
       },
       "original": {
@@ -20,11 +20,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1720657034,
-        "narHash": "sha256-nPhbeFdyN8yn+EXmnPcBWisoypndtQbNIhSKmAinv3E=",
+        "lastModified": 1728217273,
+        "narHash": "sha256-p/gvyVf24WFs0bted3c71uSQk++ZOYRWbg3bjRoePu4=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "212defe037698e18fc9521dfe451779a8979844c",
+        "rev": "50b3bd3fed0442bcbf7f58355e990da84af1749d",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 478057b5..1ba33015 100644
--- a/flake.nix
+++ b/flake.nix
@@ -48,6 +48,11 @@
             then {
               rev = "v1.3-8.19";
               sha256 = "sha256-roBCWfAHDww2Z2JbV5yMI3+EOfIsv3WvxEcUbBiZBsk=";
+            } else {}) //
+            (if coqPackages == "coqPackages_8_20"
+            then {
+              rev = "v1.3.1-8.20";
+              sha256 = "sha256-u8LB1KiACM5zVaoL7dSdHYvZgX7pf30VuqtjLLGuTzc=";
             } else {}));
 
             phases = [
@@ -73,7 +78,7 @@
             env = pkgs.buildEnv { inherit name; paths = buildInputs; };
             passthru = {
               compatibleCoqVersions = v:
-              builtins.elem v [ "8.14" "8.15" "8.16" "8.17" "8.18" "8.19" ];
+              builtins.elem v [ "8.14" "8.15" "8.16" "8.17" "8.18" "8.19" "8.20" ];
             };
           };
 
@@ -106,7 +111,7 @@
             env = pkgs.buildEnv { inherit name; paths = buildInputs; };
             passthru = {
               compatibleCoqVersions = v:
-              builtins.elem v [ "8.14" "8.15" "8.16" "8.17" "8.18" "8.19" ];
+              builtins.elem v [ "8.14" "8.15" "8.16" "8.17" "8.18" "8.19" "8.20" ];
             };
           };
 
@@ -116,8 +121,9 @@
           category-theory_8_17 = category-theory "coqPackages_8_17";
           category-theory_8_18 = category-theory "coqPackages_8_18";
           category-theory_8_19 = category-theory "coqPackages_8_19";
+          category-theory_8_20 = category-theory "coqPackages_8_20";
 
-          default = category-theory_8_19;
+          default = category-theory_8_20;
         };
 
         defaultPackage = packages.default;