Merge pull request #322 from iblech/patch-2

JacquesCarette · web-flow · commit 1617a2d4b69e · 2022-11-24T15:34:11.000Z
Update to standard-library 1.7.1
diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -46,7 +46,7 @@ on:
 
 env:
   AGDA_COMMIT: tags/v2.6.2
-  STDLIB_VERSION: 1.7
+  STDLIB_VERSION: 1.7.1
 
   GHC_VERSION: 8.6.5
   CABAL_VERSION: 3.2.0.0
diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib
@@ -1,3 +1,3 @@
 name: agda-categories
-depend: standard-library-1.7
+depend: standard-library-1.7.1
 include: src/
