diff --git a/.travis.yml b/.travis.yml
index 3f2c5337a..8b026d3a2 100644
--- 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
index f5b795eff..564d35b62 100644
--- a/agda-categories.agda-lib
+++ b/agda-categories.agda-lib
@@ -1,3 +1,3 @@
 name: agda-categories
-depend: standard-library-1.5
-include: src/
\ No newline at end of file
+depend: standard-library-1.6
+include: src/