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"]
12run-test: [
13 ["dune" "exec" "--profile=release" "tests/tests_speed.exe"]
14 ["dune" "build" "--profile=release" "-j" jobs "@runtest" "@examples"]
15]
16depends: [
17 "ocaml" {>= "4.03"}
18 "dune" {>= "1.3"}
19 "interval_base" {= version}
20 "interval_intel" {= version}
21 "interval_crlibm" {= version}
22]
23synopsis: "An interval arithmetic library for OCaml (meta package)"
24url {
25 src:
26 "https://github.com/Chris00/ocaml-interval/releases/download/1.5.1/interval-1.5.1.tbz"
27 checksum: [
28 "sha256=623b6117ba2d36f4ddbf78777d1ba1fad324d00db1f641f064fc231602b40aa2"
29 "sha512=09fbca71c9eeb89b56bbf752240f1fec8515757ecb4245912e6e6e7c9baa1cce1e6b009f40f17b5aa97f405ac870c6203f472eba6600efdaf43066e58a018d04"
30 ]
31}