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" "science"]
5license: "LGPL-3.0-only"
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 [ "jbuilder" "subst" "-p" name ] {dev}
12 [ "jbuilder" "build" "-p" name "-j" jobs ]
13]
14depends: [
15 "ocaml" {>= "4.02"}
16 "jbuilder" {>= "1.0+beta7"}
17 "base" {build}
18 "stdio" {build}
19 "configurator" {build}
20 "base-bytes" {build}
21 "benchmark" {with-test}
22]
23synopsis: "Binding to CRlibm, a correctly rounded math lib"
24url {
25 src:
26 "https://github.com/Chris00/ocaml-crlibm/releases/download/0.1/crlibm-0.1.tbz"
27 checksum: [
28 "sha256=45c6c6bdb622bb25f4b1cdad40cd4050954aec83c1c7c7d89e18a57bd8733fc5"
29 "md5=f5d7975e3afa4ff11e8afd3e0c0a7ca6"
30 ]
31}