TIMESTAMP = 1475571312
SHA256 (eigen/3.2.10.tar.bz2) = 760e6656426fde71cc48586c971390816f456d30f0b5d7d4ad5274d8d2cb0a6d
SIZE (eigen/3.2.10.tar.bz2) = 1168527