From 55254ee21a9b9ac32e5104d88f307773e765e020 Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Wed, 4 Dec 2024 18:23:36 +0800
Subject: [PATCH] CertiCoq dev with Coq 8.19

---
 .../packages/coq-certicoq/coq-certicoq.dev/opam     | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/extra-dev/packages/coq-certicoq/coq-certicoq.dev/opam b/extra-dev/packages/coq-certicoq/coq-certicoq.dev/opam
index 952f3df2bf..a410261d30 100644
--- a/extra-dev/packages/coq-certicoq/coq-certicoq.dev/opam
+++ b/extra-dev/packages/coq-certicoq/coq-certicoq.dev/opam
@@ -30,13 +30,14 @@ install: [
 ]
 depends: [
   "ocaml"
+  "conf-clang"
   "stdlib-shims"
-  "coq" {>= "8.17" & < "8.18~"}
-  "coq-compcert" {= "3.12"}
-  "coq-equations" {= "1.3+8.17"}
-  "coq-metacoq-erasure-plugin" {= "8.17.dev"}
-  "coq-metacoq-safechecker-plugin" {= "8.17.dev"}
-  "coq-ext-lib" {>= "0.11.8"}
+  "coq" {>= "8.19" & < "8.20~"}
+  "coq-compcert" {= "3.13.1"}
+  "coq-equations" {= "1.3+8.19"}
+  "coq-metacoq-erasure-plugin" {= "1.3.2+8.19"}
+  "coq-metacoq-safechecker-plugin" {= "1.3.2+8.19"}
+  "coq-ext-lib" {>= "0.12"}
 ]
 
 synopsis: "A Verified Compiler for Gallina, Written in Gallina "