[doc] document explicit dependencies on Value-based plug-ins

Changelog_detailed.md

@@ -3,6 +3,21 @@ of Frama-C. It is intended for developers only. For a summary of all changes,
 please refer to Changelog.
 
 * Changes between Sodium and Magnesium
+** Use of Value-based plug-ins:
+  In case your plug-in programmatically uses one of the following plug-ins
+  (even through Db):
+
+    Value, Metrics, Occurrence, From, Users, Constant_Propagation, Inout,
+    Impact, Pdg, Scope, Sparecode, Slicing
+
+  You must add the following line in your plug-in Makefile:
+
+  PLUGIN_DEPENDENCIES:=<plug-ins list>
+
+  For instance, if you depend on Value, Pdg and Slicing, you must write:
+
+  PLUGIN_DEPENDENCIES:=Value Pdg Slicing
+
 ** Callgraph Access
   In Sodium, there were three different callgraph implementations:
   - module Callgraph
@@ -20,7 +35,7 @@ please refer to Changelog.
   Db.Semantic_callgraph to the new API, but you have to add the following line
   to your plug-in Makefile to get an access to the API:
 
-  PLUGIN_DEPENDENCIES:=Callgraph
+  PLUGIN_DEPENDENCIES:=Callgraph <possibly other dependencies>
 
 * Changes between Oxygen and Fluorine
 ** Removal of rooted_code_annotation