diff --git a/.circleci/config.yml b/.circleci/config.yml
index b5459b6..29571f7 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -48,9 +48,11 @@ jobs:
         command: |
           PINS=$(opam list -s --pinned --columns=package | xargs | tr ' ' ,)
           PACKAGES=`opam list -s --depends-on coq-ext-lib --coinstallable-with $PINS`
-          if [ -n "$PACKAGES" ]
-          then opam install -t $PACKAGES
-          fi
+          for PACKAGE in $PACKAGES
+          do DEPS_FAILED=false
+             opam install --deps-only $PACKAGE || DEPS_FAILED=true
+             [ $DEPS_FAILED == true ] || opam install -t $PACKAGE
+          done
     - run:
         name: Uninstall package
         command: opam uninstall .