First, do the market fix as explained on the first page. After that is done (might have to try opening Market a few times for it to work) you should be able to search and dl Astro, which then will install those packages.