this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
3authors: ["Jean-Marc Alliot <jean-marc.alliot@irit.fr>"
4 "Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>"
5 "Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
6homepage: "https://github.com/Chris00/ocaml-interval"
7dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
8bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
9doc: "https://Chris00.github.io/ocaml-interval/doc"
10license: "LGPL-3.0-only"
11tags: ["interval" "science"]
12build: [
13 ["dune" "subst"] {dev}
14 ["dune" "build" "-p" name "-j" jobs]
15 ["dune" "build" "@doc"] {with-doc}
16]
17depends: [
18 "interval_base" {= version}
19 "dune"
20 "crlibm" { >= "0.5" }
21]
22synopsis: "An interval library for OCaml (crlibm version)"
23description: "
24This library uses assembly code to compute all operations with proper
25roundings, and currently ONLY works on intel processors.
26
27This package uses CRlibm (a proved correctly rounded mathematical
28library) to provide enclosures of transcendental functions. It may be
29slower than the version using the implementation in the CPU but
30the bounds are proved correct. It also provides *pi versions of the
31trigonometric functions and their inverse.
32"
33url {
34 src:
35 "https://github.com/Chris00/ocaml-interval/releases/download/1.6/interval-1.6.tbz"
36 checksum: [
37 "sha256=a2807d7860a9f965a3f91b40de17b98321e5c3f7da9e69dccf3dc20f1ac77e96"
38 "sha512=76196b171a41ce1374cae946b7c7a1dea6d614db61743ead14d628a12dce30a0dbd82db1960ad17b58f1f65a6f3fc61aaa5eac42face474baf840efb670feee8"
39 ]
40}
41x-commit-hash: "857f185c3b95f9824b21c5ef1c7340ba942ed527"