SHA256 (yace_1.2.tar.bz2) = 3cd9afab122a67df5a407c08498fc1529b36c1adbce067e49eed95356193764e
SIZE (yace_1.2.tar.bz2) = 86425