simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

bump min requirement to 4.08

Browse source
This commit is contained in:
Simon Cruanes 2021-10-12 23:05:06 -04:00
parent a6b303bb90
commit b22e4b96ce
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sidekick-base.opam
View file

@ -14,7 +14,7 @@ depends: [
"dune" { >= "1.1" } "dune" { >= "1.1" }
"containers" { >= "3.0" & < "4.0" } "containers" { >= "3.0" & < "4.0" }
"iter" { >= "1.0" & < "2.0" } "iter" { >= "1.0" & < "2.0" }
"ocaml" { >= "4.04" } "ocaml" { >= "4.08" } # for BARE, which uses Bytes functions
"sidekick" { = version } "sidekick" { = version }
"zarith" { >= "1.8" } # constraint for infix ops "zarith" { >= "1.8" } # constraint for infix ops
"alcotest" {with-test} "alcotest" {with-test}

2
sidekick-bin.opam
View file

@ -19,7 +19,7 @@ depends: [
"sidekick" { = version } "sidekick" { = version }
"sidekick-base" { = version } "sidekick-base" { = version }
"menhir" "menhir"
"ocaml" { >= "4.04" } "ocaml" { >= "4.08" }
"odoc" {with-doc} "odoc" {with-doc}
] ]
depopts: [ depopts: [