Skip to content

Commit

Permalink
Fix forester 2.1 and yuujinchou 3.0.0
Browse files Browse the repository at this point in the history
  • Loading branch information
favonia committed Nov 4, 2023
1 parent c739d58 commit bb571e1
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion packages/forester/forester.2.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ depends: [
"dune" {>= "3.7"}
"xmlm"
"ppx_deriving"
"domainslib"
"domainslib" {>= "0.5.0"}
"yuujinchou" {>= "5.0.1"}
"algaeff" {< "2.0"}
"odoc" {with-doc}
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 @@ -13,7 +13,7 @@ depends: [
"dune" {>= "2.0"}
"ocaml" {>= "5.0"}
"algaeff" {>= "0.2" & < "2.0"}
"bwd" {>= "1.0"}
"bwd" {>= "2.0"}
"alcotest" {>= "1.5" & with-test}
"qcheck-core" {>= "0.18" & with-test}
"odoc" {>= "2.0" & with-doc}
Expand Down

0 comments on commit bb571e1

Please sign in to comment.