THIS MIRROR IS DEPRECATED -- New url: https://gitlab.com/libeigen/eigen - eigenteam/eigen-git-mirror