···

       
38
       
 
       
  "conf-bison" {build}

     

       
39
       
 
       
  "conf-flex" {build}

     

       
40
       
 
       
]

     

       
0
       
 
       

     

       
41
       
 
       
synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"

     

       
42
       
 
       
url {

     

       
43
       
 
       
  src: "https://gappa.gitlabpages.inria.fr/releases/gappa-1.3.5.tar.gz"

     

···

       
38
       
 
       
  "conf-bison" {build}

     

       
39
       
 
       
  "conf-flex" {build}

     

       
40
       
 
       
]

     

       
41
       
+
       
available: arch != "x86_32"

     

       
42
       
 
       
synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"

     

       
43
       
 
       
url {

     

       
44
       
 
       
  src: "https://gappa.gitlabpages.inria.fr/releases/gappa-1.3.5.tar.gz"