FIX Map dep_maps with pins The pins are based on the values in deps, however deps_maps allows for transforming dependency names into package names. This means pins do not work properly because the names they refer to will not show up in the opam package. This adds the pins based on the actual dependency name to the list of pins if an existing pin does not exist. This does not handle if a deps_map values has different pins in it. Only the first one is taken and added to pins and pins cannot be combined. This might be an issue but unclear what it looks like int real code.