diff options
| author | Silvio Traversaro <silvio@traversaro.it> | 2020-01-30 23:38:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-30 14:38:38 -0800 |
| commit | 1046c297c760e5165e4fe6def66cd04ca487fa10 (patch) | |
| tree | 0964e047fbeb8dc1540cb2de7d5b527c225ae153 /scripts | |
| parent | 9986c559b8c90a760b2639b674b841908f34d594 (diff) | |
| download | vcpkg-1046c297c760e5165e4fe6def66cd04ca487fa10.tar.gz vcpkg-1046c297c760e5165e4fe6def66cd04ca487fa10.zip | |
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
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions