Update to standard-library 1.6

agda · Apr 13, 2021 · 6d41e43 · 6d41e43
1 parent 8cd50f9
commit 6d41e43
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -16,7 +16,7 @@ matrix:
         CABAL_VER=2.2
         ALEX_VER=3.2.5
         HAPPY_VER=1.19.12
-        STDLIB_VER=1.5
+        STDLIB_VER=1.6
       addons:
         apt:
           packages:

diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib
@@ -1,3 +1,3 @@
 name: agda-categories
-depend: standard-library-1.5
-include: src/
+depend: standard-library-1.6
+include: src/