From 30b391ca261755c827ad9dd95e4f87009337b5d0 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sat, 7 Oct 2023 19:10:24 +0200 Subject: [PATCH] CompCert 3.13 works on Coq 8.18 --- released/packages/coq-compcert-32/coq-compcert-32.3.13/opam | 3 +-- released/packages/coq-compcert/coq-compcert.3.13/opam | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/released/packages/coq-compcert-32/coq-compcert-32.3.13/opam b/released/packages/coq-compcert-32/coq-compcert-32.3.13/opam index 16f1bbcb1..96db73777 100644 --- a/released/packages/coq-compcert-32/coq-compcert-32.3.13/opam +++ b/released/packages/coq-compcert-32/coq-compcert-32.3.13/opam @@ -1,5 +1,4 @@ opam-version: "2.0" -name: "coq-compcert-32" synopsis: "The CompCert C compiler (32 bit)" description: """\ This package installs the 32 bit version of CompCert. @@ -28,7 +27,7 @@ tags: [ homepage: "https://compcert.org/" bug-reports: "https://github.com/AbsInt/CompCert/issues" depends: [ - "coq" {>= "8.12.0" & < "8.18~"} + "coq" {>= "8.12.0" & < "8.19~"} "menhir" {>= "20190626" & != "dev"} "ocaml" {>= "4.05.0" & < "5~"} "coq-flocq" {>= "4.1.0" & < "5~"} diff --git a/released/packages/coq-compcert/coq-compcert.3.13/opam b/released/packages/coq-compcert/coq-compcert.3.13/opam index afbc9dff4..ed6af4405 100644 --- a/released/packages/coq-compcert/coq-compcert.3.13/opam +++ b/released/packages/coq-compcert/coq-compcert.3.13/opam @@ -1,5 +1,4 @@ opam-version: "2.0" -name: "coq-compcert" synopsis: "The CompCert C compiler (64 bit)" maintainer: "Xavier Leroy" authors: "Xavier Leroy " @@ -15,7 +14,7 @@ tags: [ homepage: "https://compcert.org/" bug-reports: "https://github.com/AbsInt/CompCert/issues" depends: [ - "coq" {>= "8.12.0" & < "8.18~"} + "coq" {>= "8.12.0" & < "8.19~"} "menhir" {>= "20190626" & != "dev"} "ocaml" {>= "4.05.0" & < "5~"} "coq-flocq" {>= "4.1.0" & < "5~"}