Pin subcommand.
Pin a package. Returns Some is_same_version if the package should be reinstalled (or upgraded if is_same_version is false
Some is_same_version
is_same_version
Let the user edit a pinned package's opam file. Returns Some is_same_version if the package should be rebuilt. raises Not_found if no valid opam file is available and the user didn't succeed in producing one.
Not_found
Unpin a package. Returns true if the package should be rebuilt
List the pinned packages.