From 160f7e1094e395a62d23ca64cec8cca062b9df1f Mon Sep 17 00:00:00 2001 From: Christian Doczkal Date: Tue, 24 May 2022 11:03:53 +0200 Subject: [PATCH] update metadata and regenerate using templates --- README.md | 1 + coq-graph-theory.opam | 2 +- meta.yml | 8 +++++--- 3 files changed, 7 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index ef17bb9..420ce6e 100644 --- a/README.md +++ b/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) diff --git a/coq-graph-theory.opam b/coq-graph-theory.opam index 41b5cd5..5da55c5 100644 --- a/coq-graph-theory.opam +++ b/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" diff --git a/meta.yml b/meta.yml index c2090ce..a6ddba9 100644 --- a/meta.yml +++ b/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'