diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-05 10:44:21 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:44:21 +0000 |
| commit | 1b63f8846dbeab724b589acb15c41e3469a1e4c6 (patch) | |
| tree | e4f9c6e362bf15130e0c7dad58c4a7d36b836d17 /sci-mathematics | |
| parent | Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che... (diff) | |
| download | gentoo-2-1b63f8846dbeab724b589acb15c41e3469a1e4c6.tar.gz gentoo-2-1b63f8846dbeab724b589acb15c41e3469a1e4c6.tar.bz2 gentoo-2-1b63f8846dbeab724b589acb15c41e3469a1e4c6.zip | |
Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example checking.
(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/kodkodi/Manifest | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/sci-mathematics/kodkodi/Manifest b/sci-mathematics/kodkodi/Manifest index fa39958d4709..d290abc3edbb 100644 --- a/sci-mathematics/kodkodi/Manifest +++ b/sci-mathematics/kodkodi/Manifest @@ -1,3 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + DIST kodkodi-1.5.2.tgz 2826648 SHA256 1518d75f3748aa7c791623ff1508b4202f14d744e13b9bd41abf575429caa2b7 SHA512 117e0f1b3e3ee88efb9a9e2f02e8a7ce82a3487528ad0476acf20fafd885d3d48c051bd4a8cb6aa5cda61f24dfa74159448b83398be4119e726e757f6ff3aad4 WHIRLPOOL f331b423b2ad430b59f425d799c3991dccf0e5e9018015f12c30be851f8254cf3b0e39da12fcfd07083813671316ecdcbfc70429742e89cf7b2b4093b773bb0b -EBUILD kodkodi-1.5.2.ebuild 3015 SHA256 76be87fb6317ac34f8efc47e5203c2159a9788aa22392185d12b45de1e140246 SHA512 2d67f825dd4060055268e175888bc57a9ab13dbc5dd50bc93549384225d96e610e7f7084a69a952058a89c3fa848e2c88f5756002d66605ac13bb6a1dc011908 WHIRLPOOL 574a8c70696c41750ba3a6ede003093c08ce40122d614c2870b4e212067614a1d7185221ff4bc8da3028764164f3735e76a4a5e1935acfb0846f8116e1e8ca3a +EBUILD kodkodi-1.5.2.ebuild 3121 SHA256 d8f5d029dbfc31dab30248ac66a8e08ec4cf99bddabdeaebcc1b89506c28d1df SHA512 b9697ff679248a68ca4ef3374457ef93d18d5b8bc1b770a5df156697f1129dd2d9a570664aa8701e13c6c6ba81aadf4ac7f97fc056cff80f9838414dde1c5b4e WHIRLPOOL 55a4e658137dc30d70576b4421df3a4ff6cfbe4cbe9b901b56c833e71113c0a0ac0aa99db2f9081f64e9a6387f053236b800d3a02244d855167b586465fe741c +MISC ChangeLog 424 SHA256 2406d88e4730f3f202da76c89daf606a1125a655114f38496c132a62a6a44185 SHA512 cf93924384f91e72e993b188026c2174107ac52d3cc18fb81c48d13602b6100637f88b0c0cebd5e803b5da7bf28370d00f1b10febc35c8bbb978358298608480 WHIRLPOOL 5fd0bafdb2b03cb8db55a391ce18ff6efb4aed64ba59dd67882cff6bdbf1e3a356bd58b7587f948beaa7fb5091edfeabe95676b6cd8eab1e64f895fa49542763 MISC metadata.xml 431 SHA256 2a8f7fed68c025a7c1661df307801ae8aa463602c027ad0c889b21b00489002f SHA512 9646f7201659da20382bdfee31bbab2536c95ebe539c5567759b9021e7c959cf2a8caa24bb1c8f92a92a568b3c7e5049baffccb8afa657365fc2dc4a1f56fc30 WHIRLPOOL 2190ae43ae0a8fd80fe24a6d487cdb8cc05deeea204c11c4d51381d03481b8ad0ea21d8849c8ac52b9e93dc969e07b4dd5ed40f4824bfbc8862cacc5cb6c4c6c +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.19 (GNU/Linux) + +iF4EAREIAAYFAlC/JYQACgkQoBEVQmGOlx9UbQEA0JzTnFSFjcnTdPftggHx0pJ2 +Yw4WAvP8MmFUmP0YW/QA/R3Rc4S77Cn6T4G9dFTgmnZlXY597mROQKL4SCNHDrmx +=8XEz +-----END PGP SIGNATURE----- |