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"
34conflicts: [ "ocaml-option-bytecode-only" ]
35url {
36 src:
37 "https://github.com/bobot/ocaml-flint/releases/download/0.3/flint-0.3.tbz"
38 checksum: [
39 "sha256=9ce2bfa8852a7f841f8bf4bca695c09bc6cd743ea31cf155970e6a63bede5f29"
40 "sha512=e033e16d04becb59430c577684ef799e1777e8f59e8f4b3d81adcd192bd5d380ad4d8f024703de7b570c6c19b9900b633e597ad11971af8148b6dcb0012cc4d5"
41 ]
42}
43x-commit-hash: "a23443e1717ca45fb240c88f5c5e835a95589ddd"