From aa72b60f32a87dec45c3ee63bf89fba1de2ac828 Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Thu, 22 Sep 2022 14:27:11 +0200 Subject: [PATCH] Opam files for v1.1+8.16 --- coq-metacoq-erasure.opam | 2 +- coq-metacoq-pcuic.opam | 2 +- coq-metacoq-safechecker.opam | 2 +- coq-metacoq-template.opam | 2 +- coq-metacoq-translations.opam | 2 +- coq-metacoq.opam | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/coq-metacoq-erasure.opam b/coq-metacoq-erasure.opam index 4758901c7..fd8709c1c 100644 --- a/coq-metacoq-erasure.opam +++ b/coq-metacoq-erasure.opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "8.16.dev" +version: "1.1+8.16" maintainer: "matthieu.sozeau@inria.fr" homepage: "https://metacoq.github.io/metacoq" dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16" diff --git a/coq-metacoq-pcuic.opam b/coq-metacoq-pcuic.opam index a16428a91..02519bd0d 100644 --- a/coq-metacoq-pcuic.opam +++ b/coq-metacoq-pcuic.opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "8.16.dev" +version: "1.1+8.16" maintainer: "matthieu.sozeau@inria.fr" homepage: "https://metacoq.github.io/metacoq" dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16" diff --git a/coq-metacoq-safechecker.opam b/coq-metacoq-safechecker.opam index 60d626705..4e38fd6ea 100644 --- a/coq-metacoq-safechecker.opam +++ b/coq-metacoq-safechecker.opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "8.16.dev" +version: "1.1+8.16" maintainer: "matthieu.sozeau@inria.fr" homepage: "https://metacoq.github.io/metacoq" dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16" diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam index 045114d63..30302c181 100644 --- a/coq-metacoq-template.opam +++ b/coq-metacoq-template.opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "8.16.dev" +version: "1.1+8.16" maintainer: "matthieu.sozeau@inria.fr" homepage: "https://metacoq.github.io/metacoq" dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16" diff --git a/coq-metacoq-translations.opam b/coq-metacoq-translations.opam index d9508fb75..049f8d1e5 100644 --- a/coq-metacoq-translations.opam +++ b/coq-metacoq-translations.opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "8.16.dev" +version: "1.1+8.16" maintainer: "matthieu.sozeau@inria.fr" homepage: "https://metacoq.github.io/metacoq" dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16" diff --git a/coq-metacoq.opam b/coq-metacoq.opam index 8506f7a54..98cd73919 100644 --- a/coq-metacoq.opam +++ b/coq-metacoq.opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "8.16.dev" +version: "1.1+8.16" maintainer: "matthieu.sozeau@inria.fr" homepage: "https://metacoq.github.io/metacoq" dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"