Bump Agda version

MatthewDaggitt · MatthewDaggitt · commit 037ba15b5c1f · 2021-02-03T23:03:41.000+08:00
diff --git a/.travis.yml b/.travis.yml
@@ -56,7 +56,7 @@ matrix:
              cd ../ &&
              git clone https://github.com/agda/agda &&
              cd agda &&
-             git checkout 696a77052a73f2974763fd2cbb9a80c44acb9d74 &&
+             git checkout fec60970117acab3aeee56bea88bc38136db6c1b &&
              cabal install --only-dependencies --dry -v > $HOME/installplan.txt ;
           fi
 
