diff --git a/opam/opam b/opam/opam
index 7b2c44a9fa950c7f74182a16dd6bf4f04e6cd759..d078e4b6cc56b6d85795e8c88b74e8b9a316669c 100644
--- a/opam/opam
+++ b/opam/opam
@@ -94,17 +94,20 @@ depends: [
   ( ( "lablgtk" { >= "2.18.2" } & "conf-gnomecanvas" )
   | ( "lablgtk3" { >= "3.0.beta4" & os!="macos" } & "lablgtk3-sourceview3" ))
   "conf-gtksourceview"
-  ( "alt-ergo-free" | "alt-ergo" )
+  ( "alt-ergo-free" | "alt-ergo" { <= "2.2.0" } )
   "conf-graphviz" { post }
   "yojson"
 ]
 
 depopts: [
-  "coq" { build }
-  "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: [