SHA256 (open-axiom-1.4.2.tar.bz2) = 745024aadb4fefdd09980e3076141e1a4646ea8588b4d9b0ece486d581b8a119
SIZE (open-axiom-1.4.2.tar.bz2) = 9862899