diff --git a/.travis.yml b/.travis.yml
index 188e06b2..66b29925 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -21,9 +21,9 @@ before_install:
 - export PATH=$HOME/.local/bin:$PATH
 - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
 # Download and install agda
-- travis_retry curl -L https://github.com/agda/agda/archive/master.zip -o agda-master.zip; unzip agda-master.zip; cd agda-master; stack install --stack-yaml=stack-8.2.2.yaml
+- travis_retry curl -L https://github.com/agda/agda/archive/master.zip -o agda-master.zip; unzip -qq agda-master.zip; cd agda-master; stack install --stack-yaml=stack-8.2.2.yaml
 # Download and install agda2html
-- travis_retry curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o agda2html-master.zip; unzip agda2html-master.zip; cd agda2html-master; stack install
+- travis_retry curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o agda2html-master.zip; unzip -qq agda2html-master.zip; cd agda2html-master; stack install
 
 script:
 - make
\ No newline at end of file