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 "ocaml" {>= "4.03"}
19 "interval_base" {= version}
20 "dune" {>= "1.3"}
21 "dune-configurator"
22 "crlibm"
23]
24synopsis: "An interval library for OCaml (crlibm version)"
25description: "
26This library uses assembly code to compute all operations with proper
27roundings, and currently ONLY works on intel processors.
28
29This package uses CRlibm (a proved correctly rounded mathematical
30library) to provide enclosures of transcendental functions. It may be
31slower than the version using the implementation in the CPU but
32the bounds are proved correct. It also provides *pi versions of the
33trigonometric functions and their inverse.
34"
35url {
36 src:
37 "https://github.com/Chris00/ocaml-interval/releases/download/1.5/interval-1.5.tbz"
38 checksum: [
39 "sha256=dab6e475e55d3b50947f0c1698ea12a4ccddfa811fadd052bb64120c035fe40b"
40 "md5=f44dd2c998cd3389cb63a56d676cb665"
41 ]
42}