TIMESTAMP = 1584938668
SHA256 (cudd-3.0.0.tar.gz) = b8e966b4562c96a03e7fbea239729587d7b395d53cadcc39a7203b49cf7eeb69
SIZE (cudd-3.0.0.tar.gz) = 1175302