opam-version: "2.0" synopsis: """\ MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project""" maintainer: "Louis Gesbert " authors: [ "Claude Michel " "Louis Gesbert " ] license: [ "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" "BSD-3-clause" "GPL-3.0-only" ] homepage: "https://www.i3s.unice.fr/~cpjm/misc/" bug-reports: "https://github.com/ocaml-opam/ocaml-mccs/issues" depends: [ "ocaml" {>= "4.02"} "dune" {>= "1.0"} "cudf" {>= "0.7"} "conf-c++" {build} ] build: [ ["dune" "build" "-p" name "-j" jobs] ["sh" "-c" "dune build @settests --auto-promote || true"] {with-test} ["dune" "runtest" "-p" name "-j" jobs] {with-test} ] dev-repo: "git+https://github.com/ocaml-opam/ocaml-mccs.git" url { src: "https://github.com/ocaml-opam/ocaml-mccs/releases/download/1.1+19/mccs-1.1+19.tar.gz" checksum: [ "md5=f852da188bf7de20e64be2fce0e48e0a" "sha512=9b6ab739f85c163668573887cc9647cd8ef7fd0ad155a72819dbd4b6a243af4ba8b7e5678492f856d864471652ddcfaeed05da47b972a65ac1cd9e072ba88dc5" ] }