mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-07-05 03:21:42 +00:00
[upstream_utils] Upgrade to Eigen 5.0.1 (#8428)
This commit is contained in:
@@ -154,7 +154,7 @@ def copy_upstream_src(wpilib_root: Path):
|
||||
def main():
|
||||
name = "eigen"
|
||||
url = "https://gitlab.com/libeigen/eigen.git"
|
||||
tag = "5.0.0"
|
||||
tag = "5.0.1"
|
||||
|
||||
eigen = Lib(name, url, tag, copy_upstream_src)
|
||||
eigen.main()
|
||||
|
||||
Reference in New Issue
Block a user