diff --git a/opam/opam b/opam/opam
index 6b874e248e294ee5df836440427f11f04c6931b9..16ea05f0d3eb81cba33aaff3e84e8d87cac22374 100644
--- a/opam/opam
+++ b/opam/opam
@@ -100,6 +100,7 @@ depends: [
 depopts: [
   "coq" { build }
   "why3" { build }
+  "why3-coq" { build }
   "mlgmpidl" { build }
   "apron" { build }
 ]