Drop support for Coq 8.10 and deprecate the `deprecate` notation

- The `deprecate` notation and `iota_add` have been deprecated. All the uses of
  the `deprecate` notation have been replaced with the `deprecated` attribute.
- Deprecation aliases in `ssrnat` and `ssrnum` introduced in MathComp 1.11+beta1
  have been removed.
- Remove `VDFILE` related hacks from `Makefile.common`.

1 files changed, 0 insertions, 46 deletions

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4b0d207..8a5c7f0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -89,9 +89,6 @@ make-coq-latest:
     variables:
       - $CRON_MODE == "nightly"
 
-coq-8.10:
-  extends: .opam-build-once
-
 coq-8.11:
   extends: .opam-build-once
 
@@ -162,11 +159,6 @@ test-coq-8.11:
   variables:
     COQ_VERSION: "8.11"
 
-test-coq-8.10:
-  extends: .test-once
-  variables:
-    COQ_VERSION: "8.10"
-
 # set CONTRIB_URL, script, COQ_VERSION, CONTRIB_VERSION when using
 .ci:
   stage: test
@@ -211,11 +203,6 @@ test-coq-8.10:
     - make -j "${NJOBS}"
     - make install
 
-ci-fourcolor-8.10:
-  extends: .ci-fourcolor
-  variables:
-    COQ_VERSION: "8.10"
-
 ci-fourcolor-8.11:
   extends: .ci-fourcolor
   variables:
@@ -246,11 +233,6 @@ ci-fourcolor-dev:
     - make -j "${NJOBS}"
     - make install
 
-ci-odd-order-8.10:
-  extends: .ci-odd-order
-  variables:
-    COQ_VERSION: "8.10"
-
 ci-odd-order-8.11:
   extends: .ci-odd-order
   variables:
@@ -281,11 +263,6 @@ ci-odd-order-dev:
     - opam pin add -n -k path coq-lemma-overloading .
     - opam install -y -v -j "${NJOBS}" coq-lemma-overloading
 
-ci-lemma-overloading-8.10:
-  extends: .ci-lemma-overloading
-  variables:
-    COQ_VERSION: "8.10"
-
 ci-lemma-overloading-8.11:
   extends: .ci-lemma-overloading
   variables:
@@ -316,11 +293,6 @@ ci-lemma-overloading-dev:
     - opam pin add -n -k path coq-mathcomp-bigenough .
     - opam install -y -v -j "${NJOBS}" coq-mathcomp-bigenough
 
-ci-bigenough-8.10:
-  extends: .ci-bigenough
-  variables:
-    COQ_VERSION: "8.10"
-
 ci-bigenough-8.11:
   extends: .ci-bigenough
   variables:
@@ -352,11 +324,6 @@ ci-bigenough-dev:
     - opam install -y -v -j "${NJOBS}" --deps-only coq-mathcomp-real-closed
     - opam install -y -v -j "${NJOBS}" coq-mathcomp-real-closed
 
-ci-real-closed-8.10:
-  extends: .ci-real-closed
-  variables:
-    COQ_VERSION: "8.10"
-
 ci-real-closed-8.11:
   extends: .ci-real-closed
   variables:
@@ -388,11 +355,6 @@ ci-real-closed-dev:
     - opam install -y -v -j "${NJOBS}" --deps-only coq-mathcomp-finmap
     - opam install -y -v -j "${NJOBS}" coq-mathcomp-finmap
 
-ci-finmap-8.10:
-  extends: .ci-finmap
-  variables:
-    COQ_VERSION: "8.10"
-
 ci-finmap-8.11:
   extends: .ci-finmap
   variables:
@@ -424,11 +386,6 @@ ci-finmap-dev:
     - opam install -y -v -j "${NJOBS}" --deps-only coq-mathcomp-multinomials
     - opam install -y -v -j "${NJOBS}" coq-mathcomp-multinomials
 
-ci-multinomials-8.10:
-  extends: .ci-multinomials
-  variables:
-    COQ_VERSION: "8.10"
-
 ci-multinomials-8.11:
   extends: .ci-multinomials
   variables:
@@ -552,9 +509,6 @@ ci-fcsl-pcm-dev:
     variables:
       - $CRON_MODE == "nightly"
 
-mathcomp-dev_coq-8.10:
-  extends: .docker-deploy-once
-
 mathcomp-dev_coq-8.11:
   extends: .docker-deploy-once