update metadata and regenerate using templates

README.md

@@ -55,6 +55,7 @@ isomorphism).
   - Gonthier's Formal Proof of the Four-Color Theorem (optional dependency)
 - Coq namespace: `GraphTheory`
 - Related publication(s):
+  - [A Variant of Wagner's Theorem Based on Combinatorial Hypermaps](https://hal.inria.fr/hal-03142192) doi:[10.4230/LIPIcs.ITP.2021.17](https://doi.org/10.4230/LIPIcs.ITP.2021.17)
   - [Graph Theory in Coq - Minors, Treewidth, and Isomorphisms](https://hal.archives-ouvertes.fr/hal-02316859) doi:[10.1007/s10817-020-09543-2](https://doi.org/10.1007/s10817-020-09543-2)
   - [Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq](https://hal.archives-ouvertes.fr/hal-02333553) doi:[10.1145/3372885.3373831](https://doi.org/10.1145/3372885.3373831)
   - [A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs](https://hal.archives-ouvertes.fr/hal-01703922) doi:[10.1007/978-3-319-94821-8_11](https://doi.org/10.1007/978-3-319-94821-8_11)

coq-graph-theory.opam

@@ -2,7 +2,7 @@
 # Follow the instructions on https://github.com/coq-community/templates to regenerate.
 
 opam-version: "2.0"
-maintainer: "christian.doczkal@inria.fr"
+maintainer: "christian.doczkal@mpi-sp.org"
 version: "dev"
 
 homepage: "https://github.com/coq-community/graph-theory"

meta.yml

@@ -24,6 +24,9 @@ description: |-
   isomorphism).
 
 publications:
+- pub_url: https://hal.inria.fr/hal-03142192
+  pub_title:  A Variant of Wagner's Theorem Based on Combinatorial Hypermaps 
+  pub_doi: 10.4230/LIPIcs.ITP.2021.17
 - pub_url: https://hal.archives-ouvertes.fr/hal-02316859
   pub_title: Graph Theory in Coq - Minors, Treewidth, and Isomorphisms
   pub_doi: 10.1007/s10817-020-09543-2
@@ -52,7 +55,7 @@ maintainers:
 - name: Damien Pous
   nickname: damien-pous
 
-opam-file-maintainer: christian.doczkal@inria.fr
+opam-file-maintainer: christian.doczkal@mpi-sp.org
 
 opam-file-version: dev
 
@@ -65,8 +68,7 @@ supported_coq_versions:
   opam: '{(>= "8.12" & < "8.16~") | (= "dev")}'
 
 tested_coq_opam_versions:
-- version: 'coq-dev'
-  repo: 'mathcomp/mathcomp-dev'
+- version: 'dev-ocaml-4.13-flambda'
 - version: '1.14.0-coq-8.15'
   repo: 'mathcomp/mathcomp'
 - version: '1.13.0-coq-8.14'