TIMESTAMP = 1497538434
SHA256 (eigen/3.3.4.tar.bz2) = dd254beb0bafc695d0f62ae1a222ff85b52dbaa3a16f76e781dce22d0d20a4a6
SIZE (eigen/3.3.4.tar.bz2) = 1657543