opam-version: "2.0"
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: ["Jean-Marc Alliot <jean-marc.alliot@irit.fr>"
          "Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>"
          "Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
homepage: "https://github.com/Chris00/ocaml-interval"
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
license: "LGPL-3.0"
tags: ["interval" "science"]
build: [
  ["dune" "subst"] {pinned}
  ["dune" "build" "-p" name "-j" jobs]
  ["dune" "build" "@doc"] {with-doc}
]
depends: [
  "ocaml" {>= "4.03"}
  "interval_base" {= version}
  "dune" {>= "1.3"}
]
available: [ arch = "x86_64" ]
synopsis: "An interval library for OCaml"
description: "
This library uses assembly code to compute all operations with proper
roundings, and currently ONLY works on intel processors.  It supports
Linux, Windows and MacOs, with gcc and clang.  Unfortunately, the Intel
processor does not properly round trigonometric functions so this library
cannot be used whenever proved correct enclosures are needed.

More information is given in the paper presented in the OCaml meeting
2012: http://www.alliot.fr/papers/oud2012.pdf
"
url {
  src:
    "https://github.com/Chris00/ocaml-interval/releases/download/1.5/interval-1.5.tbz"
  checksum: "md5=f44dd2c998cd3389cb63a56d676cb665"
}
