···

       
43
       
43
       
 
       
  "ocaml" { >= "4.08.1" }

     

       
44
       
44
       
 
       
  "frama-c" { >= "25.0" & < "26.0~" }

     

       
45
       
45
       
 
       
  "why3" { >= "1.5.0" }

     

       
46
       
46
       
+
       
  "conf-autoconf" {dev}

     

       
46
       
47
       
 
       
]

     

       
47
       
48
       
 
       


     

       
48
       
49
       
 
       
depopts: [ "conf-swi-prolog" ]