From dc39578ffe9ccdc74e09f074c72a4d49b1219e0c Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 9 Dec 2021 21:59:24 +0100 Subject: [PATCH] update from upstream --- packages/orb.0.0.1~dev/opam | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/packages/orb.0.0.1~dev/opam b/packages/orb.0.0.1~dev/opam index 460fca4..c516634 100644 --- a/packages/orb.0.0.1~dev/opam +++ b/packages/orb.0.0.1~dev/opam @@ -9,12 +9,12 @@ depends: [ "ocaml" {>= "4.05.0"} "dune" {>= "2.0"} "cmdliner" {>= "1.0"} - "opam-client" {>= "2.1.1"} - "opam-repository" {>= "2.1.1"} - "opam-core" {>= "2.1.1"} - "opam-format" {>= "2.1.1"} - "opam-solver" {>= "2.1.1"} - "opam-state" {>= "2.1.1"} + "opam-client" {>= "2.1.2"} + "opam-repository" {>= "2.1.2"} + "opam-core" {>= "2.1.2"} + "opam-format" {>= "2.1.2"} + "opam-solver" {>= "2.1.2"} + "opam-state" {>= "2.1.2"} ] build: [ ["dune" "subst"] {dev}