From 1d5b78248fb1d5bec3553d64f92656e973f2b6de Mon Sep 17 00:00:00 2001
From: Alex Gryzlov <skyrodent@gmail.com>
Date: Thu, 15 Oct 2020 03:18:32 +0200
Subject: [PATCH] test with minimal mathcomp

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index b6947db..848cdc6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,7 +9,7 @@ env:
   - NJOBS="2"
   - CONTRIB_NAME="demo"
   matrix:
-  - COQ_IMAGE="mathcomp/mathcomp:1.11.0-coq-8.11"
+  - COQ_IMAGE="mathcomp/mathcomp:1.10.0-coq-8.11"
   - COQ_IMAGE="mathcomp/mathcomp:1.11.0-coq-8.12"
   - COQ_IMAGE="coqorg/coq:dev"
   # "default" switch: $COMPILER