SHA256 (eigen/3.1.2.tar.bz2) = 5efddc5b11f651bc531b46e4a00b805b16f8bb356db361a533c92145ecdadcc3
SIZE (eigen/3.1.2.tar.bz2) = 1052120