this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Solver library for opam 2.2"
3description:
4 "Solver and Cudf interaction. This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam."
5maintainer: "opam-devel@lists.ocaml.org"
6authors: [
7 "David Allsopp <david@tarides.com>"
8 "Vincent Bernardoff <vb@luminar.eu.org>"
9 "Raja Boujbel <raja.boujbel@ocamlpro.com>"
10 "Kate Deplaix <kit-ty-kate@outlook.com>"
11 "Roberto Di Cosmo <roberto@dicosmo.org>"
12 "Thomas Gazagnaire <thomas@gazagnaire.org>"
13 "Louis Gesbert <louis.gesbert@ocamlpro.com>"
14 "Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>"
15 "Anil Madhavapeddy <anil@recoil.org>"
16 "Guillem Rieu <guillem.rieu@ocamlpro.com>"
17 "Ralf Treinen <ralf.treinen@pps.jussieu.fr>"
18 "Frederic Tuong <tuong@users.gforge.inria.fr>"
19]
20license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
21homepage: "https://opam.ocaml.org"
22bug-reports: "https://github.com/ocaml/opam/issues"
23depends: [
24 "ocaml" {>= "4.08.0"}
25 "opam-format" {= version}
26 "mccs" {>= "1.1+17"}
27 "dose3" {>= "6.1"}
28 "cudf" {>= "0.7"}
29 "re" {>= "1.9.0"}
30 "dune" {>= "2.0.0"}
31 "opam-0install-cudf" {>= "0.4"}
32]
33depopts: ["z3"]
34conflicts: [
35 "z3" {< "4.8.4"}
36]
37flags: avoid-version
38available: opam-version >= "2.1.0"
39build: [
40 ["./configure" "--disable-checks" "--prefix" prefix]
41 ["dune" "build" "-p" name "-j" jobs]
42]
43dev-repo: "git+https://github.com/ocaml/opam.git"
44url {
45 src: "https://github.com/ocaml/opam/archive/refs/tags/2.2.0-rc1.tar.gz"
46 checksum: [
47 "md5=c74015d93dffc824bc339dabed86027b"
48 "sha512=122dd2624106cd7bdb4d835d08aabeb3feee18a42b537e0e5c0da1e56cb4e908705e77e8720aa652a2e0b588aa9ba1cd53bb3e952f3243d9025cae7c753b0576"
49 ]
50}
51x-maintained: false