package farith

All checked builds pass
  1. Overview
  2. Docs
Floating point numbers library extracted from the Flocq Coq Library

Install 

dune-project
 Dependency

git.frama-c.com Edit opam file Versions (1)

Authors

  1. F
    François Bobot
  2. L
    Loïc Correnson
  3. A
    Arthur Correnson

Maintainers

  1. F
    François Bobot

Sources

farith-0.1.tar.bz2
sha256=c2d2a99777ef2c8652fa5328feb80359d233dc88ff5a895248083412a558657f
sha512=c0405daeee927d8351b7ffa5c24ade8e62ff07dca2a715064c7bd7a63ce66b03c16f22aa462085bd98bd32157db4aad854ba00b5607417847392f79fb363d953

Description

Added to opam-repository:

Dependencies (6)

  1. ocaml >= "4.10"
  2. ppx_hash
  3. ppx_deriving
  4. base
  5. zarith
  6. dune >= "3.0" & < "3.24"

Dev Dependencies (1)

  1. odoc with-doc

Optional Dependencies

None

Used by (3)

  1. colibri2
  2. dolmen_model
  3. smtml >= "0.26.0"

Conflicts

None

Build status

Results of building farith with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.1 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure