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 ["jbuilder" "subst" "-p" name] {dev}
14 ["jbuilder" "build" "-p" name "-j" jobs]
15 ["jbuilder" "build" "@doc"] {with-doc}
16]
17depends: [
18 "ocaml"
19 "jbuilder" {>= "1.0+beta7"}
20]
21synopsis: "An interval library for OCaml"
22description: """
23This library uses assembly code to compute all operations with proper
24roundings, and currently ONLY works on intel processors. It supports
25Linux, Windows and MacOs, with gcc and clang.
26
27More information is given in the paper presented in the OCaml meeting
282012: http://www.alliot.fr/papers/oud2012.pdf"""
29url {
30 src:
31 "https://github.com/Chris00/ocaml-interval/releases/download/1.4/interval-1.4.tbz"
32 checksum: [
33 "sha256=083c0e2c20df3d2f2edc497b93d8b7d651c76a51f6d0baf8ae3285c3d08080c9"
34 "md5=fe92e35e8a9cc693e250452f225f42ac"
35 ]
36}