SHA256 (eigen/2.0.17.tar.bz2) = 7255e856ed367ce6e6e2d4153b0e4e753c8b8d36918bf440dd34ad56aff09960
SIZE (eigen/2.0.17.tar.bz2) = 367890