Core_plugins_findlib_compat
val legacy_to_findlib : (string * string list) list
associative list between legacy names and path in coq-core