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