Update .travis.yml file

agda · Jan 28, 2021 · 644e15c · 644e15c
1 parent bff06b4
commit 644e15c
Showing 1 changed file with 1 addition and 1 deletion.
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.4
+        STDLIB_VER=1.5
       addons:
         apt:
           packages: