this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
3authors: ["Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
4tags: ["libm" "math" "floating-point" "rounding" "science"]
5license: "LGPL-3.0"
6homepage: "https://github.com/Chris00/ocaml-crlibm"
7dev-repo: "git+https://github.com/Chris00/ocaml-crlibm.git"
8bug-reports: "https://github.com/Chris00/ocaml-crlibm/issues"
9doc: "https://Chris00.github.io/ocaml-crlibm/doc"
10build: [
11 ["dune" "subst"] {dev}
12 ["dune" "build" "-p" name "-j" jobs]
13 ["dune" "build" "-p" name "-j" jobs "@runtest"] {with-test}
14]
15depends: [
16 "ocaml" {>= "4.03"}
17 "dune-configurator" {>= "2.0"}
18 "dune" {>= "2.0"}
19 "base-bytes" {build}
20 "benchmark" {with-test}
21]
22synopsis: "Binding to CRlibm, a correctly rounded math lib"
23available: arch != "x86_32"
24url {
25 src:
26 "https://github.com/Chris00/ocaml-crlibm/releases/download/0.5/crlibm-0.5.tbz"
27 checksum: [
28 "sha256=ac0b9dd06a8842456b5e36551d84d2789c16256446ff2537be9091b1d44b8d27"
29 "sha512=e411323f39cf186f3145a9500c560ac8a94c1ff5fc4e6697067733a750f360404be6916e966c10cdc0bd66b0d6878ab1eadfc5586096226e5fea8b1db51a9e35"
30 ]
31}
32x-commit-hash: "cff684eeb3ab82c3f633fa62e7af5378600f48e8"