From b6ee759d4de5bd28dc342bb315c0453d6c8df14a Mon Sep 17 00:00:00 2001 From: Jaehyung Lee Date: Wed, 11 Oct 2023 14:27:45 +0900 Subject: [PATCH 1/2] paco supports coq 8.18.x --- released/packages/coq-paco/coq-paco.4.2.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/released/packages/coq-paco/coq-paco.4.2.0/opam b/released/packages/coq-paco/coq-paco.4.2.0/opam index 47533a4f8..da2ddca62 100644 --- a/released/packages/coq-paco/coq-paco.4.2.0/opam +++ b/released/packages/coq-paco/coq-paco.4.2.0/opam @@ -15,7 +15,7 @@ license: "BSD-3-Clause" build: [make "-C" "src" "all" "-j%{jobs}%"] install: [make "-C" "src" "-f" "Makefile.coq" "install"] depends: [ - "coq" {>= "8.13" & < "8.18~"} + "coq" {>= "8.13" & <= "8.18~"} ] tags: [ "date:2023-03-13" From fcec25bf40837d674f5fcc745b2a8f3059d83774 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Wed, 11 Oct 2023 09:06:17 +0200 Subject: [PATCH 2/2] Update released/packages/coq-paco/coq-paco.4.2.0/opam --- released/packages/coq-paco/coq-paco.4.2.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/released/packages/coq-paco/coq-paco.4.2.0/opam b/released/packages/coq-paco/coq-paco.4.2.0/opam index da2ddca62..39380c40d 100644 --- a/released/packages/coq-paco/coq-paco.4.2.0/opam +++ b/released/packages/coq-paco/coq-paco.4.2.0/opam @@ -15,7 +15,7 @@ license: "BSD-3-Clause" build: [make "-C" "src" "all" "-j%{jobs}%"] install: [make "-C" "src" "-f" "Makefile.coq" "install"] depends: [ - "coq" {>= "8.13" & <= "8.18~"} + "coq" {>= "8.13" & < "8.19~"} ] tags: [ "date:2023-03-13"