shift to a single package for selecting cross-target#4

avsm wants to merge 2 commits into

chris-armstrong:mainchris-armstrong/opam-cross-lambda:mainfrom

avsm:single-pkgavsm/opam-cross-lambda:single-pkgCopy head branch name to clipboard