Corepackage for lavalite