Skip to content

Commit

Permalink
Add upper bounds to packages broken by algaeff.2.0.0
Browse files Browse the repository at this point in the history
  • Loading branch information
favonia committed Nov 4, 2023
1 parent 8a1e5e2 commit c739d58
Show file tree
Hide file tree
Showing 15 changed files with 15 additions and 15 deletions.
2 changes: 1 addition & 1 deletion packages/asai/asai.0.1.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/RedPRL/asai/issues"
depends: [
"dune" {>= "3.1"}
"ocaml" {>= "5.0"}
"algaeff" {>= "1.0"}
"algaeff" {>= "1.0" & < "2.0"}
"bwd" {>= "2.2"}
"eio" {>= "0.12"}
"eio_main" {>= "0.12"}
Expand Down
2 changes: 1 addition & 1 deletion packages/asai/asai.0.2.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/RedPRL/asai/issues"
depends: [
"dune" {>= "3.1"}
"ocaml" {>= "5.0"}
"algaeff" {>= "1.0"}
"algaeff" {>= "1.0" & < "2.0"}
"bwd" {>= "2.2"}
"notty" {>= "0.2.3"}
"alcotest" {with-test & >= "1.5"}
Expand Down
2 changes: 1 addition & 1 deletion packages/forester/forester.2.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ depends: [
"ppx_deriving"
"domainslib"
"yuujinchou" {>= "5.0.1"}
"algaeff"
"algaeff" {< "2.0"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion packages/forester/forester.2.2.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ depends: [
"domainslib" {>= "0.5.0"}
"ptime"
"yuujinchou" {>= "5.0.1"}
"algaeff"
"algaeff" {< "2.0"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion packages/forester/forester.2.3/opam
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ depends: [
"eio_main" {>= "0.11" & < "0.12"}
"ptime"
"yuujinchou" {>= "5.0.1"}
"algaeff"
"algaeff" {< "2.0"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion packages/forester/forester.2.4.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ depends: [
"eio_main" {>= "0.12"}
"ptime" {>= "1.1.0"}
"yuujinchou" {>= "5.1.0"}
"algaeff" {>= "1.0.0"}
"algaeff" {>= "1.0.0" & < "2.0.0"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion packages/forester/forester.2.4/opam
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ depends: [
"eio_main" {>= "0.12"}
"ptime" {>= "1.1.0"}
"yuujinchou" {>= "5.0.1"}
"algaeff" {>= "1.0.0"}
"algaeff" {>= "1.0.0" & < "2.0.0"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion packages/forester/forester.2.5/opam
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"ptime" {>= "1.1.0"}
"yuujinchou" {>= "5.1.0"}
"bwd" {>= "2.3.0"}
"algaeff" {>= "1.0.0"}
"algaeff" {>= "1.0.0" & < "2.0.0"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion packages/yuujinchou/yuujinchou.3.0.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ dev-repo: "git+https://github.com/RedPRL/yuujinchou.git"
depends: [
"dune" {>= "2.0"}
"ocaml" {>= "5.0"}
"algaeff" {>= "0.2"}
"algaeff" {>= "0.2" & < "2.0"}
"bwd" {>= "1.0"}
"alcotest" {>= "1.5" & with-test}
"qcheck-core" {>= "0.18" & with-test}
Expand Down
2 changes: 1 addition & 1 deletion packages/yuujinchou/yuujinchou.3.1.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ dev-repo: "git+https://github.com/RedPRL/yuujinchou.git"
depends: [
"dune" {>= "2.0"}
"ocaml" {>= "5.0"}
"algaeff" {>= "0.2"}
"algaeff" {>= "0.2" & < "2.0"}
"bwd" {>= "2.0"}
"alcotest" {>= "1.5" & with-test}
"qcheck-core" {>= "0.18" & with-test}
Expand Down
2 changes: 1 addition & 1 deletion packages/yuujinchou/yuujinchou.4.0.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ dev-repo: "git+https://github.com/RedPRL/yuujinchou.git"
depends: [
"dune" {>= "2.0"}
"ocaml" {>= "5.0"}
"algaeff" {>= "0.2"}
"algaeff" {>= "0.2" & < "2.0"}
"bwd" {>= "2.1"}
"alcotest" {>= "1.5" & with-test}
"qcheck-core" {>= "0.18" & with-test}
Expand Down
2 changes: 1 addition & 1 deletion packages/yuujinchou/yuujinchou.5.0.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ dev-repo: "git+https://github.com/RedPRL/yuujinchou.git"
depends: [
"dune" {>= "2.0"}
"ocaml" {>= "5.0"}
"algaeff" {>= "0.2"}
"algaeff" {>= "0.2" & < "2.0"}
"bwd" {>= "2.1"}
"alcotest" {>= "1.5" & with-test}
"qcheck-core" {>= "0.18" & with-test}
Expand Down
2 changes: 1 addition & 1 deletion packages/yuujinchou/yuujinchou.5.0.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ dev-repo: "git+https://github.com/RedPRL/yuujinchou.git"
depends: [
"dune" {>= "2.0"}
"ocaml" {>= "5.0"}
"algaeff" {>= "0.2"}
"algaeff" {>= "0.2" & < "2.0"}
"bwd" {>= "2.1"}
"alcotest" {>= "1.5" & with-test}
"qcheck-core" {>= "0.18" & with-test}
Expand Down
2 changes: 1 addition & 1 deletion packages/yuujinchou/yuujinchou.5.0.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ dev-repo: "git+https://github.com/RedPRL/yuujinchou.git"
depends: [
"dune" {>= "2.0"}
"ocaml" {>= "5.0"}
"algaeff" {>= "0.2"}
"algaeff" {>= "0.2" & < "2.0"}
"bwd" {>= "2.2"}
"alcotest" {>= "1.5" & with-test}
"qcheck-core" {>= "0.18" & with-test}
Expand Down
2 changes: 1 addition & 1 deletion packages/yuujinchou/yuujinchou.5.1.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ dev-repo: "git+https://github.com/RedPRL/yuujinchou.git"
depends: [
"dune" {>= "2.0"}
"ocaml" {>= "5.0"}
"algaeff" {>= "0.2"}
"algaeff" {>= "0.2" & < "2.0"}
"bwd" {>= "2.2"}
"alcotest" {>= "1.5" & with-test}
"qcheck-core" {>= "0.18" & with-test}
Expand Down

0 comments on commit c739d58

Please sign in to comment.