this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "Floating point numbers library extracted from the Flocq Coq Library"
4maintainer: ["François Bobot"]
5authors: ["François Bobot" "Loïc Correnson" "Arthur Correnson"]
6license: "LGPL-2.1"
7homepage: "https://git.frama-c.com/pub/farith"
8bug-reports: "https://git.frama-c.com/pub/farith/issues"
9depends: [
10 "dune" {>= "3.0"}
11 "zarith"
12 "base"
13 "ppx_deriving"
14 "ppx_hash"
15 "ocaml" {>= "4.10"}
16 "odoc" {with-doc}
17]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "dune"
22 "build"
23 "-p"
24 name
25 "-j"
26 jobs
27 "@install"
28 "@runtest" {with-test}
29 "@doc" {with-doc}
30 ]
31]
32dev-repo: "git+https://git.frama-c.com/pub/farith.git"
33url {
34 src: "https://git.frama-c.com/pub/farith/-/archive/0.1/farith-0.1.tar.bz2"
35 checksum: [
36 "sha256=c2d2a99777ef2c8652fa5328feb80359d233dc88ff5a895248083412a558657f"
37 "sha512=c0405daeee927d8351b7ffa5c24ade8e62ff07dca2a715064c7bd7a63ce66b03c16f22aa462085bd98bd32157db4aad854ba00b5607417847392f79fb363d953"
38 ]
39}
40x-commit-hash: "13be3cbed53cf51dccd6c768417608ff8dc40cd2"