diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 1c9f4dd..78597c9 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -29,11 +29,16 @@ jobs:
           - 'mathcomp/mathcomp:1.15.0-coq-8.14'
           - 'mathcomp/mathcomp:1.15.0-coq-8.15'
           - 'mathcomp/mathcomp:1.15.0-coq-8.16'
-          - 'mathcomp/mathcomp:1.15.0-coq-dev'
+          - 'mathcomp/mathcomp:1.16.0-coq-8.13'
+          - 'mathcomp/mathcomp:1.16.0-coq-8.14'
+          - 'mathcomp/mathcomp:1.16.0-coq-8.15'
+          - 'mathcomp/mathcomp:1.16.0-coq-8.16'
+          - 'mathcomp/mathcomp:1.16.0-coq-8.17'
           - 'mathcomp/mathcomp-dev:coq-8.13'
           - 'mathcomp/mathcomp-dev:coq-8.14'
           - 'mathcomp/mathcomp-dev:coq-8.15'
           - 'mathcomp/mathcomp-dev:coq-8.16'
+          - 'mathcomp/mathcomp-dev:coq-8.17'
           - 'mathcomp/mathcomp-dev:coq-dev'
       fail-fast: false
     steps:
diff --git a/coq-mathcomp-zify.opam b/coq-mathcomp-zify.opam
index f73e00e..90e2371 100644
--- a/coq-mathcomp-zify.opam
+++ b/coq-mathcomp-zify.opam
@@ -2,7 +2,7 @@
 # Follow the instructions on https://github.com/coq-community/templates to regenerate.
 
 opam-version: "2.0"
-maintainer: "sakaguchi@coins.tsukuba.ac.jp"
+maintainer: "kazuhiko.sakaguchi@inria.fr"
 version: "dev"
 
 homepage: "https://github.com/math-comp/mczify"
diff --git a/meta.yml b/meta.yml
index 74512f2..cf78ccd 100644
--- a/meta.yml
+++ b/meta.yml
@@ -17,7 +17,7 @@ authors:
 - name: Kazuhiko Sakaguchi
   initial: true
 
-opam-file-maintainer: sakaguchi@coins.tsukuba.ac.jp
+opam-file-maintainer: kazuhiko.sakaguchi@inria.fr
 
 license:
   fullname: CeCILL-B Free Software License Agreement
@@ -55,7 +55,15 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp'
 - version: '1.15.0-coq-8.16'
   repo: 'mathcomp/mathcomp'
-- version: '1.15.0-coq-dev'
+- version: '1.16.0-coq-8.13'
+  repo: 'mathcomp/mathcomp'
+- version: '1.16.0-coq-8.14'
+  repo: 'mathcomp/mathcomp'
+- version: '1.16.0-coq-8.15'
+  repo: 'mathcomp/mathcomp'
+- version: '1.16.0-coq-8.16'
+  repo: 'mathcomp/mathcomp'
+- version: '1.16.0-coq-8.17'
   repo: 'mathcomp/mathcomp'
 - version: 'coq-8.13'
   repo: 'mathcomp/mathcomp-dev'
@@ -65,6 +73,8 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp-dev'
 - version: 'coq-8.16'
   repo: 'mathcomp/mathcomp-dev'
+- version: 'coq-8.17'
+  repo: 'mathcomp/mathcomp-dev'
 - version: 'coq-dev'
   repo: 'mathcomp/mathcomp-dev'