Странненький репозиторий. я отстал от жизни, и имена файлов SEG7_LUT.v и SEG7_LUT.V считаются различными?
Мои архиваторы и винда считают инАче (( или это чисто для пользователей пингвинукса???