this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Package mccs.1.1+19

Kate 3258f898 f93eb7cb

+36
+36
packages/mccs/mccs.1.1+19/opam
··· 1 + opam-version: "2.0" 2 + synopsis: """\ 3 + MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver 4 + developed at UNS during the European MANCOOSI project""" 5 + maintainer: "Louis Gesbert <louis.gesbert@ocamlpro.com>" 6 + authors: [ 7 + "Claude Michel <claude.michel@unice.fr>" 8 + "Louis Gesbert <louis.gesbert@ocamlpro.com>" 9 + ] 10 + license: [ 11 + "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" 12 + "BSD-3-clause" 13 + "GPL-3.0-only" 14 + ] 15 + homepage: "https://www.i3s.unice.fr/~cpjm/misc/" 16 + bug-reports: "https://github.com/ocaml-opam/ocaml-mccs/issues" 17 + depends: [ 18 + "ocaml" {>= "4.02"} 19 + "dune" {>= "1.0"} 20 + "cudf" {>= "0.7"} 21 + "conf-c++" {build} 22 + ] 23 + build: [ 24 + ["dune" "build" "-p" name "-j" jobs] 25 + ["sh" "-c" "dune build @settests --auto-promote || true"] {with-test} 26 + ["dune" "runtest" "-p" name "-j" jobs] {with-test} 27 + ] 28 + dev-repo: "git+https://github.com/ocaml-opam/ocaml-mccs.git" 29 + url { 30 + src: 31 + "https://github.com/ocaml-opam/ocaml-mccs/releases/download/1.1+19/mccs-1.1+19.tar.gz" 32 + checksum: [ 33 + "md5=f852da188bf7de20e64be2fce0e48e0a" 34 + "sha512=9b6ab739f85c163668573887cc9647cd8ef7fd0ad155a72819dbd4b6a243af4ba8b7e5678492f856d864471652ddcfaeed05da47b972a65ac1cd9e072ba88dc5" 35 + ] 36 + }