this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Stub of the C library Antic. Algebraic number"
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"
33conflicts: [ "ocaml-option-bytecode-only" ]
34url {
35 src:
36 "https://github.com/bobot/ocaml-flint/releases/download/0.3/flint-0.3.tbz"
37 checksum: [
38 "sha256=9ce2bfa8852a7f841f8bf4bca695c09bc6cd743ea31cf155970e6a63bede5f29"
39 "sha512=e033e16d04becb59430c577684ef799e1777e8f59e8f4b3d81adcd192bd5d380ad4d8f024703de7b570c6c19b9900b633e597ad11971af8148b6dcb0012cc4d5"
40 ]
41}
42x-commit-hash: "a23443e1717ca45fb240c88f5c5e835a95589ddd"