MD5 (eigen/2.0.12.tar.bz2) = d0195ac20bcd91602db8ca967a21e9ec
SHA256 (eigen/2.0.12.tar.bz2) = 0000ff7f87a8335783c47d31b13f039953277bff199b453d36b541fcff17fbc6
SIZE (eigen/2.0.12.tar.bz2) = 365342