diff --git a/coq-bbv.opam b/coq-bbv.opam
index 4689dc5..fa04787 100644
--- a/coq-bbv.opam
+++ b/coq-bbv.opam
@@ -29,4 +29,7 @@ depends: [
   "ocaml"
   "coq" {>= "8.16" | = "dev"}
 ]
+conflict-class: [
+  "coq-bbv"
+]
 synopsis: "An implementation of bitvectors in Coq."