MD5 (open-axiom-1.2.0.tar.bz2) = 28acbcd6f8f0874ec8b79138c6de4e40
SHA256 (open-axiom-1.2.0.tar.bz2) = 2cd5edfa480279775f8450ef1d29574d1ba94a5035c7854163fe73959edd01f7
SIZE (open-axiom-1.2.0.tar.bz2) = 11593549