DIST open-axiom-1.4.2.tar.bz2 9862899 SHA256 745024aadb4fefdd09980e3076141e1a4646ea8588b4d9b0ece486d581b8a119 SHA512 7db25874c9427e0fe5903f3d9e8ef8d265f132bf839e184efa290795f65b8f1752e8ffd0602142c2260404d79e30793b1cd37a2a25db4a4258d7b7682b8acc1a WHIRLPOOL 96b240b1026269ecbafecbe395a237115b7063d651b7b868806e1ff27e8f8d011ed5e121ddbb41d8970c7d0a09e1a513c0a9aa871db24ecd0a4014013414daed