09.04.2013 12:41, Igor Zubkov пишет:
> На сайте hal последний релиз 0.5.14 и последний коммит 2 года назад.
> Так от куда он взялся?
А патчи ALTа делают из него 0.5.15, давно. Поглядите в configure.in.

С уважением, Роман