From 0f4b0e7fba700de085088f10e78b313ee7c33f1f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= Date: Tue, 24 Sep 2024 14:08:17 +0200 Subject: [PATCH] ocaml-option-bytecode-only --- .../alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.0/opam | 2 +- 1 file changed, 1 insertion(+), 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 index d0b4b96a7d62..2d370b558133 100644 --- 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"