I am sorry. I know. The situation is confusing ATM.
Koldo disagrees with UppHub. He has created separate github project, Anboto. I was hoping to track it for UppHub, so I have renamed eigen to lowercase accordingly.
Now it seems that Anboto is no longer available. Not sure what to do next...