···

       
3
       
 
       
  "Floating point numbers library extracted from the Flocq Coq Library"

     

       
4
       
 
       
maintainer: ["François Bobot"]

     

       
5
       
 
       
authors: ["François Bobot" "Loïc Correnson" "Arthur Correnson"]

     

       
0
       
 
       

     

       
6
       
 
       
homepage: "https://git.frama-c.com/pub/farith"

     

       
7
       
 
       
bug-reports: "https://git.frama-c.com/pub/farith/issues"

     

       
8
       
 
       
depends: [

     
···

       
11
       
 
       
  "base"

     

       
12
       
 
       
  "ppx_deriving"

     

       
13
       
 
       
  "ppx_hash"

     

       
0
       
 
       

     

       
14
       
 
       
  "odoc" {with-doc}

     

       
15
       
 
       
]

     

       
16
       
 
       
build: [

     

···

       
3
       
 
       
  "Floating point numbers library extracted from the Flocq Coq Library"

     

       
4
       
 
       
maintainer: ["François Bobot"]

     

       
5
       
 
       
authors: ["François Bobot" "Loïc Correnson" "Arthur Correnson"]

     

       
6
       
+
       
license: "LGPL-2.1"

     

       
7
       
 
       
homepage: "https://git.frama-c.com/pub/farith"

     

       
8
       
 
       
bug-reports: "https://git.frama-c.com/pub/farith/issues"

     

       
9
       
 
       
depends: [

     
···

       
12
       
 
       
  "base"

     

       
13
       
 
       
  "ppx_deriving"

     

       
14
       
 
       
  "ppx_hash"

     

       
15
       
+
       
  "ocaml" {>= "4.10"}

     

       
16
       
 
       
  "odoc" {with-doc}

     

       
17
       
 
       
]

     

       
18
       
 
       
build: [