simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-05-05 17:04:39 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

bump min version for smtlib-utils

Browse source
This commit is contained in:
Simon Cruanes 2026-04-24 01:03:00 -04:00
parent 94f178d400
commit c295d22921
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
dune-project
View file

@ -56,8 +56,8 @@
zarith zarith
(smtlib-utils (smtlib-utils
(and (and
(>= "0.1") (>= "0.5")
(< "0.5"))) (< "0.6")))
(sidekick (sidekick
(= :version)) (= :version))
(qcheck (qcheck

2
sidekick-base.opam
View file

@ -10,7 +10,7 @@ bug-reports: "https://github.com/c-cube/sidekick/issues/"
depends: [ depends: [
"dune" {>= "2.0"} "dune" {>= "2.0"}
"zarith" "zarith"
"smtlib-utils" {>= "0.1" & < "0.5"} "smtlib-utils" {>= "0.5" & < "0.6"}
"sidekick" {= version} "sidekick" {= version}
"qcheck" {with-test & >= "0.16"} "qcheck" {with-test & >= "0.16"}
"mdx" {with-test} "mdx" {with-test}