HAL-FORMS Packages