MD5 (open-axiom-1.3.0.tar.bz2) = 4715756a9b325ec3e00e511eb0cf5e11
SHA256 (open-axiom-1.3.0.tar.bz2) = 5c35d0c8b6da17ff2254d833c5f6694d3f5d49064e312e61719cdeb386f888c4
SIZE (open-axiom-1.3.0.tar.bz2) = 11821857