Edmund Wu 805e068059 eigen: fetch source from gitlab		2020-03-07 15:33:19 -05:00
..
2.0.nix	eigen: fetch source from gitlab	2020-03-07 15:33:19 -05:00
default.nix	eigen: fetch source from gitlab	2020-03-07 15:33:19 -05:00
default.upstream
include-dir.patch	eigen3_3: fix EIGEN3_INCLUDE_DIR location (#50628)	2018-11-18 21:30:07 +00:00