-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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.6 89646 SHA256 99a8ae36d856da288308388a349aae4264afee09edb2e7dfedbcfcddc83c0609 SHA512 b068dfa54092fd845112c8a1db7cda449c905bdc5fd31c04c8330e54c29aa5119c36c9fd0562172dd389dbc87eae41d7a54be1f3757a52228c1f204934c96d76 WHIRLPOOL 5bb74c776c0584ea69ae5a65eea0e342f9e66156811e4a5047f24e79be6a48c6bae8da680bf3ca01aead082419ce324a555d6aece3bb8976c59e3d5556a12926
EBUILD kodkod-1.5.2.ebuild 3443 SHA256 c5116a7dacbffb842877ffc5885e40ff6c4a640181abf86da22d207175499dd6 SHA512 36accfa5f15a7974f59a191387e765927d645144fc640a6285ba97643481703fb92e8c2571cfb281e43b8af3e8063dd083c139f3afa45bbf45fd6af7bd0bdf9f WHIRLPOOL bbff579a9ff928cbd221b6322bf1d91219426e89777cd8524931ce981300fef88d66a7bb75a992ab76b00b82e836f11f06b153130141c5d79e8059cb238a4d01
MISC ChangeLog 1156 SHA256 c1a624e839b76567444da6c1853fdfc8bc6a0503885e70ebbbcd97e1fbf5a2a6 SHA512 6902714e5e15d0239ab8d7a1b8fae9f26bacb7d0765be25251f4af48ee53b8c927fad0e857d7e512ba5c53ec07a08a19ea7a40da751bdf7526623e2355151f99 WHIRLPOOL 3d32a5e9c12d752e933e576e13043bd2466f8985223cfcfa2b5d0daf6419fb0b17dc5db11d45533790fb1a6248afce16409f2e719639a68f8f9ea38ff3f94810
MISC metadata.xml 798 SHA256 74928d2fab41145e7be09baed056d967e2b8039d2cf19bb76d93dc760af8b383 SHA512 e824fda882b8079e26001bfedf50843a30d16956184088e4fb12805da2b1b65e1ecc85556f74c43f0c211c7f5c00df64695688f9c98b4ee4b199b458dda40ca2 WHIRLPOOL 1d2004703df7a3f126545a755d26f4216c4d3fd9ab8b0a190c4a4807af136b6a7f975728456462604ab939fcf9d18cd1af68f12ac2b3f567ecf11486cb211419
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iF4EAREIAAYFAlL6M/EACgkQoBEVQmGOlx94ywEAntusso2FfN9nWnGszwJzQTqs
I8ujh6VUbU2EgQv9vJUBANDVk7M2oivpFUM1So95lLf34oflEDt5V+uLiceGbFMw
=0MaN
-----END PGP SIGNATURE-----