diff --git a/opam/opam b/opam/opam
index 5f39c63fc90a835be65bdd935954671337f19488..84d54529a5955e01c3fc2e23d512c98d10aeda66 100644
--- a/opam/opam
+++ b/opam/opam
@@ -100,11 +100,14 @@ depends: [
 ]
 
 depopts: [
-  "coq" # cannot use {build}: Frama-C must be recompiled when Coq changes
-  "why3" { build }
-  "why3-coq" { build }
-  "mlgmpidl" { build }
-  "apron" { build }
+  # cannot use {build}: Frama-C must be recompiled when Coq and libraries changes.
+  # Coq: because .vo would would not be loadable by another version of Coq
+  # libraries: because we use dynamic linking
+  "coq"
+  "why3"
+  "why3-coq"
+  "mlgmpidl"
+  "apron"
 ]
 
 conflicts: [