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]
21available: [ arch = "x86_64" ]
22synopsis: "An interval library for OCaml"
23description: "
24This library uses assembly code to compute all operations with proper
25roundings, and currently ONLY works on intel processors. It supports
26Linux, Windows and MacOS, with gcc and clang. Unfortunately, the Intel
27processor does not properly round trigonometric functions so this library
28cannot be used whenever proved correct enclosures are needed.
29
30More information is given in the paper presented in the OCaml meeting
312012: http://www.alliot.fr/papers/oud2012.pdf
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"