hal updated pushed, now depends on hal-info