in gpkg, always set satisfiable to true if a package is already installed, even if there is something weird with its dependencies. This state should never exist, but we don't live in a perfect world, so better to err on the side of saying an installed package is ok, vs problematic