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

Update dune-project, colibri2.opam

parent 42856f60
No related branches found
No related tags found
1 merge request!31Add general disequality hook
Pipeline #54895 passed
Stage: test
    Hide whitespace changes
    Inline Side-by-side
    colibri2.opam
    + 1
    − 1
    View file @ bcad90b3
    ......@@ -8,7 +8,7 @@ authors: [
    "Bruno Marre"
    "Guillaume Bury"
    "Stéphane Graham-Lengrand"
    "Hichem Ait El Hara"
    "Hichem Rami Ait El Hara"
    ]
    license: "LGPL-2.1-only"
    homepage: "https://colibri.frama-c.com"
    ......
    dune-project
    + 1
    − 1
    View file @ bcad90b3
    ......@@ -49,7 +49,7 @@
    (package (name colibri2)
    (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand" "Hichem Ait El Hara")
    (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand" "Hichem Rami Ait El Hara")
    (maintainers "François Bobot")
    (synopsis "A CP solver for smtlib")
    (description "A reimplementation of COLIBRI in OCaml")
    ......
    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