These are source code packages needed by chocpkg and not conveniently
available as `tar.gz` files for download somewhere.