AUX kodkod-1.5.2-changes-in-most-specific-varargs-method-selection.patch 1045 SHA256 87727817e23d03156acc5a56238124e265f0eef13f441ea5ba6802df1e94ca34 SHA512 ff30065387503ffa1fb74de988a36526f3680a648faae1a6826db6b91c2dfaac0f63ff6dba32e5fcef11a7b5727a385dfd9301d030f45213e091886c40ea7867 WHIRLPOOL 413786b0562f86e378d96494f71a81da4b6eedb0b66c2b64c908c7adf8b309d62c5d3999a0aca9d135601f1c337c05a927b73926c2c52e0232edd114d2f4c9f1
DIST kodkod-1.5.2.zip 2092639 SHA256 c54e2181f1e094bf34d52d3ab47b313c4d4464dc25c2cbb3ffd80929d1004a41 SHA512 d55d84e1daabe37c6994fd434c157d5eaecd1d0b2bbe4ab5a2d5e0e529a378d0cb8dc1eac5b89336706f899b23b9682dfd1033f4a2caec76485b12966e091df0 WHIRLPOOL 9919b7bb4de3cf8d53804cfb4a8c5874575acadc6fc7f0afcabd31847947e2f1f77ffb5565fe283088bafb9421fdc8d1245243a58e7f5d97004ecf66d7f1ac12
DIST waf-1.7.16 91846 SHA256 b64dc26c882572415fd450b745006107965f3fe17b357e3eb43d6676c9635a61 SHA512 ccdf27cac76f525e11bde20d01c3f81b738b4c990934ee290a390fcf1b278da05047bcee76973c80be4557689344f6df33c13e232b278258745e2f19eeed5ebf WHIRLPOOL 79b59876606a93c7a13548799c8797f40515cbf8bc2944018de758df3e8cd9698e4304d5d26a03ae883195ec02d6e0b12e6fc7160e4ef31446d7c3d05f98983a
EBUILD kodkod-1.5.2.ebuild 3896 SHA256 cdbf7b4de6b1cb78ee99f33e46b1c38e4c0b10fcc6d29693e46462f5d28f188a SHA512 09c07529d2873a96663389a464a035ec46d837e2100234b77291cc239361c1b678b3362a10e99e9c459030439f9848502db44a781837071c1d3d169b9950f066 WHIRLPOOL 658d2e2139c1888ccb8ef12eaeb211ff55c401dc650ebb21395a28b4eacb13c5348fe6923e3bbd25ceacbfb466d299f41b41bde2b6a1c6b17b6fa919ed6764a4
MISC ChangeLog 1610 SHA256 30deee75c33c3c7a96b5e23a2f158ea8e6fa41e0669dbd33f2583268cdc9a371 SHA512 b7df15d187f83a091984086a86c203352eda2703f7ca61c6c0dfbb647fea8fa028120d5cc889ac759158391019b51f5a2afc61a2f02e4d9a446ecb8113e49b39 WHIRLPOOL d5fcf9557975baed7eb6cbc921a6ae6ec5a226b68ef15e6bc8e04148d2f3d5451b82713d0a1ce7a23a13a28611d54d5e974a2edc7a42ab75f8c8b333eacc9af4
MISC metadata.xml 808 SHA256 af74a13003e0fd2eeaaaf8ba172df2b4c4fdc097466363cafdc971dae037b715 SHA512 7661b49da4b04488eeda6602f6fd84a5edffe3bdbdb6bbbfbd6c8c59024a0247f28e211d0bc933b126db69a16e48cabf58d166b7bea2c5201200c737befcf64f WHIRLPOOL a91994d9fd503ed9ca83333247c1a1b65464e5130130f4fcc4907ac4750df42f83b2a50b4f48d8e3b6a56169e87fb4a8bebb3051b3510b30b57ef8d8c83156ed