diff --git a/.circleci/config.yml b/.circleci/config.yml
index 13fba5e1f..730163f4d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -19,7 +19,7 @@ jobs:
     - run: sudo npm install -g lerna@2.11.0
     - run: sudo wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin
     - run: export TERM=dumb && opam init -a
-    - run: export TERM=dumb && opam switch 4.07.0
+    - run: export TERM=dumb && opam switch 4.06.1
     - run: eval `opam config env`
     - run: export TERM=dumb && opam repo add coq-released https://coq.inria.fr/opam/released || true
     - run: export TERM=dumb && opam update || true