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

DIST gecode-3.6.0.tar.gz 1591733 SHA256 bd209a51e2ab050f0ef7cb9c606911acee7e1c875f09cc76a9d043dd289d55b9 SHA512 06cce290c76e68ac0196a7e21f9b78396bc4f4f5ed3cd03d27a34a4d566bfeb290faf9e5c6c3db432cac0d87ec60f404849c0a545961f3243eb5c26c7c6ff13e WHIRLPOOL a247603525149da3e7b226f23c550e6a944980ab597ae02a7f6b8857b14a98a767f004c4548ba3c848a3b2f88b413c09b6f5297b20e6124ced25ae5fd15f0b86
DIST gecode-3.7.3.tar.gz 1643336 SHA256 e7cc8bcc18b49195fef0544061bdd2e484a1240923e4e85fa39e8d6bb492854c SHA512 292bafeaca3911b8af40d7c0f425cf0263f4408afad47f4f229a821ce89d06dc69ad1feeeef72531a1e711d797d249581b67c2d9cfdc9e544240012c838d2a5b WHIRLPOOL 5aad39285c73e2d918fca98b694b33e00b11fcc21d542a37e23424acc381696f20826d6c28a33a5cde8fbfdfd4254d05791f2db903903306887e4c4fdecb7104
EBUILD gecode-3.6.0.ebuild 1099 SHA256 f9d4e7d007c3b4ebbf8848180de7a6a1b669429f7cc1c8d22b8902d497aa98f3 SHA512 5c4e5ec69b0f0293bb4cee105d49ce910449f9f8869b67f517726b27383afe43e93a872977f95f830bab4eaa52a0c091464c8c50f932d301513165521833da39 WHIRLPOOL b87c11e91619c69f79c77916f9eb734b1ba91e3f9352ad04537b3dbb9d41642bfda7eea86c7b11ce7fa54720b1fe90d9c3415805e05946c0c565370a580b0571
EBUILD gecode-3.7.3.ebuild 1099 SHA256 feba2a7a871b407aac595bf53b41b73c3fe709ad4f47876f69ceeb70e40e93b6 SHA512 e82c434cb714be6713b8d1d46b235d41af92333f19cabc7bcee0600638dde3f3caafae6a7c75ea11e40236f31694dccd0069155214e2c96b77b30a2f78d1a696 WHIRLPOOL db52a293574a708646a7a77c1ff327be4a2937e89dea2787218a3c170308319b3f3c85bc517fe040fed3cb644a967aa80109802b5ef3ea2d0dbed3d46985c072
MISC ChangeLog 650 SHA256 564186d60f3665b731f7fcc6df1d5320512411cfb9f2fe0625f7ab746e26304b SHA512 fa02a009a6faa66c292992b820ff7bf3e7647ac68b8f91df16abe812ec742a9e1044e1c65336e104b3063088f59c64dddaa7e5259e5844a88c3868fe69f60426 WHIRLPOOL 74f79e9191263e8317cd9be95c9d01bc1e04483271d576ae4cfa7eb461e80238ff4e8d473f44b4a4ce66836f0689164fef7fef7930698f00f3f9fdea8a81aa75
MISC metadata.xml 331 SHA256 292e0526d9e931106332924dfc2313693ab0e511a6877d4bb131bce4485ded52 SHA512 af52f401b74a5d32df6925fb0ea7c266b0d9fe830adbc277951b4f193ef1b112eed940d02c705420c3ba2f06455e73cb4a1bb5c248028a97dbcb5b57815eb85d WHIRLPOOL 6a1ff4c7d253c30cb11578ca43d04eb2d2d2856846f642ea3de3c44abd937f76b9f41e0e7c15f9841c7f4d94c3be0775b9baa29c0c435b96c869821c7522cc42
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)

iQEcBAEBCAAGBQJQRLNZAAoJEMbwO6tnXQ0s9OgH/ivPpRh1137xE9gN5MdamSwq
Lmx7VNOS6bQXAaR0ngDImHaR+UQEzwvJpk3jtGA7m1hznNpuNhx6GbqxgCRjwwed
sC+6Su2xrSTwNpjbN+HkWwnp/exnIaA7d8id+Mc6efIzbj4QXy5OYnTlYqQaFXuv
I42crttSUued9aci6SlaqpDk0g3+wrDINY4HtL5jrKOkd242Ou6KQBIrZ8IIhCN2
kxjL924Q2WgQSg/hXNDc2kSHvYobAjBd72fixN8dC2lPw1YOVvJfBIXwt2oEpkEu
9nKUivVLsJRvp/1DNnHRDfdWx1EXqgGsYUpOuAL72jMTJ/1tFTTtVLaOZI9W9nE=
=nnhy
-----END PGP SIGNATURE-----