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