From ee9c1e37e2758badea91f9549d3db247bf1e5e71 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Fri, 29 Dec 2023 18:24:16 +0100
Subject: [PATCH] Update opam lock file

---
 .github/coq-concert.opam.locked | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/.github/coq-concert.opam.locked b/.github/coq-concert.opam.locked
index d7c08b0c..a9a3a38b 100644
--- a/.github/coq-concert.opam.locked
+++ b/.github/coq-concert.opam.locked
@@ -11,14 +11,14 @@ doc: "https://au-cobra.github.io/ConCert/toc.html"
 bug-reports: "https://github.com/AU-COBRA/ConCert/issues"
 depends: [
   "coq" {= "8.18.0"}
-  "coq-bignums" {= "9.0.0+coq8.17"}
-  "coq-metacoq-common" {= "1.2.1+8.17"}
-  "coq-metacoq-erasure" {= "1.2.1+8.17"}
-  "coq-metacoq-pcuic" {= "1.2.1+8.17"}
-  "coq-metacoq-safechecker" {= "1.2.1+8.17"}
-  "coq-metacoq-template" {= "1.2.1+8.17"}
-  "coq-metacoq-template-pcuic" {= "1.2.1+8.17"}
-  "coq-metacoq-utils" {= "1.2.1+8.17"}
+  "coq-bignums" {= "9.0.0+coq8.18"}
+  "coq-metacoq-common" {= "1.2.1+8.18"}
+  "coq-metacoq-erasure" {= "1.2.1+8.18"}
+  "coq-metacoq-pcuic" {= "1.2.1+8.18"}
+  "coq-metacoq-safechecker" {= "1.2.1+8.18"}
+  "coq-metacoq-template" {= "1.2.1+8.18"}
+  "coq-metacoq-template-pcuic" {= "1.2.1+8.18"}
+  "coq-metacoq-utils" {= "1.2.1+8.18"}
   "coq-rust-extraction" {= "dev"}
   "coq-elm-extraction" {= "dev"}
   "coq-quickchick" {= "dev"}