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/interval-1.5.tbz"
27 checksum: [
28 "sha256=dab6e475e55d3b50947f0c1698ea12a4ccddfa811fadd052bb64120c035fe40b"
29 "md5=f44dd2c998cd3389cb63a56d676cb665"
30 ]
31}