Merge pull request #266 from iblech/patch-1

Update to standard-library 1.6
agda · Apr 22, 2021 · df9fe1a · df9fe1a
2 parents e279398 + 6d41e43
commit df9fe1a
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/