Merge pull request #141 from HuStmpHrrr/feature/travis1.3

update the version for stdlib
agda · Mar 18, 2020 · a878dd6 · a878dd6
2 parents 72fcd94 + 84789d2
commit a878dd6
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.2
+        STDLIB_VER=1.3
       addons:
         apt:
           packages: