SHA256 (eigen/2.0.15.tar.bz2) = c68509b80ec2570d025a98e6c4279062b801593c5165ba3d683852e7dbff1569
SIZE (eigen/2.0.15.tar.bz2) = 367509