Permalink
Cannot retrieve contributors at this time
Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.
Sign up
Fetching contributors…
Cannot retrieve contributors at this time
| 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: [ | |
| ["jbuilder" "subst" "-p" name] {pinned} | |
| ["jbuilder" "build" "-p" name "-j" jobs] | |
| ["jbuilder" "build" "@doc"] {with-doc} | |
| ] | |
| depends: [ | |
| "ocaml" | |
| "jbuilder" | |
| ] | |
| 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. | |
| 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.4/interval-1.4.tbz" | |
| checksum: "md5=fe92e35e8a9cc693e250452f225f42ac" | |
| } |