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" & < "5.0"}
19 "interval_base" {= version}
20 "dune" {>= "1.3"}
21]
22available: [ arch = "x86_64" ]
23synopsis: "An interval library for OCaml"
24description: "
25This library uses assembly code to compute all operations with proper
26roundings, and currently ONLY works on intel processors. It supports
27Linux, Windows and MacOS, with gcc and clang. Unfortunately, the Intel
28processor does not properly round trigonometric functions so this library
29cannot be used whenever proved correct enclosures are needed.
30
31More information is given in the paper presented in the OCaml meeting
322012: http://www.alliot.fr/papers/oud2012.pdf
33"
34url {
35 src:
36 "https://github.com/Chris00/ocaml-interval/releases/download/1.5.1/interval-1.5.1.tbz"
37 checksum: [
38 "sha256=623b6117ba2d36f4ddbf78777d1ba1fad324d00db1f641f064fc231602b40aa2"
39 "sha512=09fbca71c9eeb89b56bbf752240f1fec8515757ecb4245912e6e6e7c9baa1cce1e6b009f40f17b5aa97f405ac870c6203f472eba6600efdaf43066e58a018d04"
40 ]
41}