From 96ac8d0047b73a6871cc74967528d37a1070410b Mon Sep 17 00:00:00 2001
From: Anil Madhavapeddy <anil@recoil.org>
Date: Sun, 18 Aug 2019 10:29:02 +0100
Subject: [PATCH] min bound on calculon-web sequence

due to Sequence.flat_map and find

found in revdeps for #14689
---
 packages/calculon-web/calculon-web.0.2/opam | 2 +-
 packages/calculon-web/calculon-web.0.3/opam | 2 +-
 packages/calculon-web/calculon-web.0.4/opam | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/packages/calculon-web/calculon-web.0.2/opam b/packages/calculon-web/calculon-web.0.2/opam
index 1c7a317aa3f..e4d5afc9001 100644
--- a/packages/calculon-web/calculon-web.0.2/opam
+++ b/packages/calculon-web/calculon-web.0.2/opam
@@ -22,7 +22,7 @@ depends: [
   "cohttp-lwt-unix" {<"2.0.0"}
   "atdgen"
   "lambdasoup"
-  "sequence"
+  "sequence" {>="0.8"}
 ]
 synopsis: "Web based plugins for calculon"
 description: """
diff --git a/packages/calculon-web/calculon-web.0.3/opam b/packages/calculon-web/calculon-web.0.3/opam
index a0cb4a1e470..074cf104b80 100644
--- a/packages/calculon-web/calculon-web.0.3/opam
+++ b/packages/calculon-web/calculon-web.0.3/opam
@@ -21,7 +21,7 @@ depends: [
   "cohttp-lwt-unix" {<"2.0.0"}
   "atdgen"
   "lambdasoup"
-  "sequence"
+  "sequence" {>="0.8"}
   "odoc" {with-doc}
 ]
 synopsis: "Web based plugins for calculon"
diff --git a/packages/calculon-web/calculon-web.0.4/opam b/packages/calculon-web/calculon-web.0.4/opam
index cf2891f7276..284432f536e 100644
--- a/packages/calculon-web/calculon-web.0.4/opam
+++ b/packages/calculon-web/calculon-web.0.4/opam
@@ -15,7 +15,7 @@ depends: [
   "cohttp-lwt-unix"
   "atdgen"
   "lambdasoup"
-  "sequence"
+  "sequence" {>="0.8"}
   "odoc" {with-doc}
   "mdx"
   "ocaml" {>= "4.03.0"}