diff --git a/nix/default.nix b/nix/default.nix
index b6cdc9bdde2d309a9e84b6fa02be0b44a0e48b42..3d1a1a7e696198b03ea3979ccb5159562ae0c691 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -254,7 +254,7 @@ pkgs.lib.makeExtensible
         installPhase = ''
                true
         '';
-  };
+  } // { other-opam-selection = "main"; };
 
   e-acsl-tests-dev = mk_deriv {
         name = "frama-c-e-acsl-tests-dev";