Skip to content
Snippets Groups Projects
Commit bd91cf14 authored by Hichem R. A.'s avatar Hichem R. A.
Browse files

Restrict core version to < v0.16.0

parent f999e2f0
1 merge request!34Update deps
Pipeline #58220 passed
Stage: test
    This commit is part of merge request !34. Comments created here will be created in the context of that merge request.
    Hide whitespace changes
    Inline Side-by-side
    colibrics.opam
    + 1
    − 1
    View file @ bd91cf14
    ......@@ -16,7 +16,7 @@ depends: [
    "zarith" {>= "1.12"}
    "cmdliner" {>= "1.1.1"}
    "ocaml" {>= "4.08"}
    "core" {>= "v0.14.1"}
    "core" {>= "v0.14.1" & < "v0.16.0"}
    "jingoo" {>= "1.4.4"}
    "logs" {>= "0.7.0"}
    "why3" {>= "1.4.0"}
    ......
    dune-project
    + 1
    − 1
    View file @ bd91cf14
    ......@@ -26,7 +26,7 @@
    ("zarith" (>= "1.12"))
    ("cmdliner" (>= 1.1.1))
    ("ocaml" (>= "4.08"))
    ("core" (>= "v0.14.1"))
    ("core" (and (>= "v0.14.1") (< "v0.16.0")))
    ("jingoo" (>= "1.4.4"))
    ("logs" (>= "0.7.0"))
    ("why3" (>= "1.4.0"))
    ......
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment