New review comment by Chocimier on void-packages repository https://github.com/void-linux/void-packages/pull/38190#discussion_r935875500 Comment: As a header only library, eigen is compiled in not required on disk runtime.