···

       
39
       
39
       
 
       
# alt-ergo-plugin-ab-why3.opam.template and not alt-ergo-plugin-ab-why3.opam

     

       
40
       
40
       
 
       
# which is generated by dune

     

       
41
       
41
       
 
       


     

       
42
       
42
       
-
       
conflicts: [ "opam-option-bytecode-only" ]

     

       
42
       
42
       
+
       
conflicts: [ "ocaml-option-bytecode-only" ]

     

       
43
       
43
       
 
       
url {

     

       
44
       
44
       
 
       
  src:

     

       
45
       
45
       
 
       
    "https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.0/alt-ergo-2.6.0.tbz"