ocaml-option-bytecode-only

tjammer · Sep 24, 2024 · 0f4b0e7 · 0f4b0e7
1 parent 1648d19
commit 0f4b0e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.0/opam b/packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.0/opam
@@ -39,7 +39,7 @@ dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 # alt-ergo-plugin-ab-why3.opam.template and not alt-ergo-plugin-ab-why3.opam
 # which is generated by dune
 
-conflicts: [ "opam-option-bytecode-only" ]
+conflicts: [ "ocaml-option-bytecode-only" ]
 url {
   src:
     "https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.0/alt-ergo-2.6.0.tbz"