[solver optimization] Also consider packages manually entered by the user as candidates for version upgrading, in case the user has not put some constraints on the version.
[solver optimization] Also consider packages manually entered by the user as candidates for version upgrading, in case the user has not put some constraints on the version.

abate/opam,abate/opam