this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Stub of the C library Flint2"
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" & < "3.11"}
10 "zarith" {>= "1.12"}
11 "ctypes" {>= "0.20.1"}
12 "conf-mpfr" {>= "3"}
13 "dune-site" {with-test}
14 "ocaml" {>= "4.10"}
15 "conf-pkg-config" {>= "2"}
16 "dune-configurator"
17 "odoc" {with-doc}
18]
19build: [
20 ["dune" "subst"] {dev}
21 [
22 "dune"
23 "build"
24 "-p"
25 name
26 "-j"
27 jobs
28 "@install"
29 "@runtest" {with-test}
30 "@doc" {with-doc}
31 ]
32]
33dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
34url {
35 src:
36 "https://github.com/bobot/ocaml-flint/releases/download/0.2.3/flint-0.2.3.tbz"
37 checksum: [
38 "sha256=7a599519fd6531adef21a1428bb5084aae62046d22393a2e513703bbe7c7d687"
39 "sha512=e2af3ea994edd1068253c3fd34c8d7f3bcf2dc8fb22a4bbf98ff8f32fa8f075a5e68dc44469001e0afe196cb2f78bc53ad0c153b118a096003eb363f7c40ee02"
40 ]
41}
42x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
43conflicts: [ "ocaml-option-bytecode-only" ]