Mysaa/mpri-2.4-project-2023-2024
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix the OCaml bound in .opam: we use Seq.take which is 4.14

Browse Source 
Reported-by: Ellenor Taghayor
This commit is contained in:
Gabriel Scherer 2023-12-22 15:47:34 +01:00
parent 96bd055026
commit fce7844414
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
constrained_generation.opam
View File

@ -10,7 +10,7 @@ build: [
["dune" "build" "-p" name "-j" jobs] ["dune" "build" "-p" name "-j" jobs]
] ]
depends: [ depends: [
"ocaml" { >= "4.08" } "ocaml" { >= "4.14" }
"dune" { >= "2.8" } "dune" { >= "2.8" }
"unionFind" { >= "20220109" } "unionFind" { >= "20220109" }
"pprint" "pprint"