Update gitlab CI

.gitlab-ci.yml

@@ -54,7 +54,10 @@ stages:
     - "*/*/*/*/*/*/*/*/*/*.glob"
     expire_in: 1 week
 
-1.12.0-coq-8.13:
+1.13.0-coq-8.13:
+  extends: .build
+
+1.14.0-coq-8.13:
   extends: .build
 
 coq-8.13:
@@ -62,9 +65,3 @@ coq-8.13:
     - .build-dev
   # it's ok to fail with an unreleased version of ssreflect
   allow_failure: true
-
-coq-dev:
-  extends:
-    - .build-dev
-  # it's ok to fail with an unreleased version of ssreflect and Coq
-  allow_failure: true

mathcomp_complements.v

-From mathcomp Require Import ssreflect ssrbool ssrfun fintype bigop
+From mathcomp Require Import ssreflect ssrbool ssrfun choice fintype bigop
      ssralg ssrnat order ssrnum rat.
-From mathcomp Require Import seq finfun path eqtype tuple.
-From mathcomp Require Import choice.
+From mathcomp Require Import seq finfun path eqtype tuple ssrint intdiv.
 
 Set Implicit Arguments.
 Unset Strict Implicit.
@@ -9,8 +8,6 @@ Unset Printing Implicit Defensive.
 
 Import Order.Theory.
 
-From mathcomp Require Import div ssrint intdiv.
-
 Local Open Scope ring_scope.
 
 (* rat *)