diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
index 5c9a851a1..1b2f4edf2 100644
--- a/.github/workflows/ci-ubuntu.yml
+++ b/.github/workflows/ci-ubuntu.yml
@@ -46,7 +46,7 @@ on:
 
 env:
   AGDA_COMMIT: tags/v2.6.4
-  STDLIB_VERSION: "2.0"
+  STDLIB_VERSION: "2.1"
 
   GHC_VERSION: 8.10.7
   CABAL_VERSION: 3.6.2.0
diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib
index 3f89afb89..b0bd762f3 100644
--- a/agda-categories.agda-lib
+++ b/agda-categories.agda-lib
@@ -1,3 +1,3 @@
 name: agda-categories
-depend: standard-library-2.0
+depend: standard-library-2.1
 include: src/