Silvio Traversaro 1046c297c7
Update eigen3's portfile to use new gitlab repo (#9821)
* Update eigen3's portfile to use new gitlab repo

The official GitHub mirror at https://github.com/eigenteam/eigen-git-mirror is deprecated and soon will be removed.

* Bump eigen3's version

* Update eigen3's homepage

* Update hash
2020-01-30 14:38:38 -08:00
..