Libraries for download with haste-boot