diff --git a/images.yml b/images.yml
index f25cfbe..1142af3 100644
--- a/images.yml
+++ b/images.yml
@@ -24,6 +24,20 @@ images:
   #       # TODO after next release: Remove "latest-coq-*"
   #       # - tag: 'latest-coq-{matrix[coq]}'
 
+  - matrix:
+      coq: ['dev', '9.00', '8.20', '8.19']
+      mathcomp: ['2.4.0']
+    build:
+      # keyword for docker-keeper's trigger (from docker-coq CI)
+      keywords:
+        - '{matrix[coq]}'
+      context: './mathcomp'
+      dockerfile: './single/Dockerfile'
+      tags:
+        - tag: '{matrix[mathcomp][//+/-]}-coq-{matrix[coq]}'
+        # TODO after next release: Remove "latest-coq-*"
+        - tag: 'latest-coq-{matrix[coq]}'
+
   - matrix:
       coq: ['dev', '8.20', '8.19', '8.18', '8.17', '8.16']
       mathcomp: ['2.2.0']
@@ -35,8 +49,6 @@ images:
       dockerfile: './single/Dockerfile'
       tags:
         - tag: '{matrix[mathcomp]}-coq-{matrix[coq]}'
-        # TODO after next release: Remove "latest-coq-*"
-        - tag: 'latest-coq-{matrix[coq]}'
 
   - matrix:
       coq: ['8.18', '8.17', '8.16']