AUX kodkod-1.5.2-changes-in-most-specific-varargs-method-selection.patch 1045 BLAKE2B 42d8124cc53f3720c35395324dcd88fe7553781376ec6f777cb93480adcb124851df09e9fc299c134cdd108273d5c5a60a3a0c57833bcde46f3effd511c4677b SHA512 ff30065387503ffa1fb74de988a36526f3680a648faae1a6826db6b91c2dfaac0f63ff6dba32e5fcef11a7b5727a385dfd9301d030f45213e091886c40ea7867
DIST kodkod-1.5.2.zip 2092639 BLAKE2B 76bcecb5d1063a7ee0244bfc1496e2684007ea3264a967cf2b8757caff96be872a5d7419f7f6ca1d2a990d5eaaaca8d63af950e66c4eb4453de6fc132d5716a0 SHA512 d55d84e1daabe37c6994fd434c157d5eaecd1d0b2bbe4ab5a2d5e0e529a378d0cb8dc1eac5b89336706f899b23b9682dfd1033f4a2caec76485b12966e091df0
DIST waf-1.7.16 91846 BLAKE2B 1b95a96d1fb67775c905882d2a6e51a53a586b4e2e88399df13ee25dba870cbc28115ead4aac8a7ee4e8fa2b7593b61b88d0388a874a658b81dc4d33ed3207f8 SHA512 ccdf27cac76f525e11bde20d01c3f81b738b4c990934ee290a390fcf1b278da05047bcee76973c80be4557689344f6df33c13e232b278258745e2f19eeed5ebf
EBUILD kodkod-1.5.2-r1.ebuild 3796 BLAKE2B 4fbba81e70a9cd7ffe9a80e47fee34827571be6553f3db94d3f7cbc78dac1155bd9d17a9e6c4624562e2e42558210f0ba4fb7b0ac4d5bfb1262a34be9be4c154 SHA512 90bbac904dc08bdecfdd40ab721b539fbc38452b14a484f0d84e96394858405fb08611b779f1cf94130edcddc0146f6dac3d9a35e367920238d370bd1a5bed9f
MISC metadata.xml 927 BLAKE2B 678d66d0843b85a81ffbdeb2c8e498af617eb125fa62009e4a06373f9c9965d5c77fd69e4892765e54f214f3302bdc658ea4c6cd3e4266b6e88b3bccfa5abac1 SHA512 6ef6a53f3a21c6786ba6044925d13de7bf396a3e59d1810e963a75005575e57d9a816ac765338055f1d7a3f05f7fda8c98d6a357da7d310a223b0158d887b307