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

chore: small opam changes

Browse source
This commit is contained in:
Simon Cruanes 2020-02-22 14:02:12 -06:00
parent c5bce67fcf
commit 5c1fb51277
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-bin.opam
View file

@ -11,7 +11,7 @@ build: [
# ["dune" "runtest" "-p" name] {with-test} # ["dune" "runtest" "-p" name] {with-test}
] ]
depends: [ depends: [
"dune" {build} "dune" { >= "1.1" }
"containers" { >= "3.0" & < "4.0" } "containers" { >= "3.0" & < "4.0" }
"iter" "iter"
"zarith" "zarith"

2
sidekick.opam
View file

@ -11,7 +11,7 @@ build: [
["dune" "runtest" "-p" name "-j" jobs] {with-test} ["dune" "runtest" "-p" name "-j" jobs] {with-test}
] ]
depends: [ depends: [
"dune" {build} "dune" { >= "1.1" }
"containers" { >= "3.0" & < "4.0" } "containers" { >= "3.0" & < "4.0" }
"iter" { >= "1.0" & < "2.0" } "iter" { >= "1.0" & < "2.0" }
"msat" { >= "0.8.3" < "0.9" } "msat" { >= "0.8.3" < "0.9" }