From 173ade2b625c1e861752d4c1ca78252db93a79ea Mon Sep 17 00:00:00 2001 From: Lasse Blaauwbroek Date: Thu, 19 Oct 2023 01:07:38 +0200 Subject: [PATCH] Add version constraints for coq-tactician-dummy to coq-tactician --- .../packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam | 2 +- .../packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam | 2 +- .../packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam index 70b342774..56a3d2e33 100644 --- a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam +++ b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam @@ -22,7 +22,7 @@ depends: [ "opam-client" {>= "2.1.0~beta2"} "cmdliner" "coq" {>= "8.11" & < "8.12~"} - "coq-tactician-dummy" + "coq-tactician-dummy" {= "1.0~beta1"} ] depexts: ["git"] build: [ diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam index f05a5630a..2dcdfbbd9 100644 --- a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam +++ b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam @@ -22,7 +22,7 @@ depends: [ "opam-client" {>= "2.1.0~beta2"} "cmdliner" "coq" {>= "8.12" & < "8.13~"} - "coq-tactician-dummy" + "coq-tactician-dummy" {= "1.0~beta1"} ] depexts: ["git"] build: [ diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam index aa91d9a13..a869d539d 100644 --- a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam +++ b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam @@ -22,7 +22,7 @@ depends: [ "opam-client" {>= "2.1.0~beta2"} "cmdliner" "coq" {>= "8.13" & < "8.14~"} - "coq-tactician-dummy" + "coq-tactician-dummy" {= "1.0~beta1"} ] depexts: ["git"] build: [