this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Stub of the C library Arb. Ball approximation"
3maintainer: ["François Bobot"]
4authors: ["François Bobot"]
5license: "LGPL-2.1-only"
6homepage: "https://github.com/bobot/ocaml-flint"
7bug-reports: "https://github.com/bobot/ocaml-flint/issues"
8depends: [
9 "dune" {>= "3.2"}
10 "flint" {= version}
11 "ctypes" {>= "0.20.1"}
12 "conf-mpfr" {>= "3"}
13 "ocaml" {>= "4.10"}
14 "conf-pkg-config" {>= "2"}
15 "dune-configurator"
16 "odoc" {with-doc}
17]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "dune"
22 "build"
23 "-p"
24 name
25 "-j"
26 jobs
27 "@install"
28 "@runtest" {with-test}
29 "@doc" {with-doc}
30 ]
31]
32dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
33url {
34 src:
35 "https://github.com/bobot/ocaml-flint/releases/download/0.2.3/flint-0.2.3.tbz"
36 checksum: [
37 "sha256=7a599519fd6531adef21a1428bb5084aae62046d22393a2e513703bbe7c7d687"
38 "sha512=e2af3ea994edd1068253c3fd34c8d7f3bcf2dc8fb22a4bbf98ff8f32fa8f075a5e68dc44469001e0afe196cb2f78bc53ad0c153b118a096003eb363f7c40ee02"
39 ]
40}
41x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
42conflicts: [ "ocaml-option-bytecode-only" ]