Bump standard library dependency to 2.1

agda · Oct 21, 2024 · b5ca41c · b5ca41c
1 parent 9022b37
commit b5ca41c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/