diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-05 10:41:40 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:41:40 +0000 |
| commit | 3ead7788a61c9ad0c348f919d690c929e86ae563 (patch) | |
| tree | 4cff912116546a7f773871d6dfcfbe0b4fd15b34 | |
| parent | Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma... (diff) | |
| download | gentoo-2-3ead7788a61c9ad0c348f919d690c929e86ae563.tar.gz gentoo-2-3ead7788a61c9ad0c348f919d690c929e86ae563.tar.bz2 gentoo-2-3ead7788a61c9ad0c348f919d690c929e86ae563.zip | |
Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-mathematics/isabelle nitpick couter-example checking.
(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
| -rw-r--r-- | sci-mathematics/kodkod/Manifest | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/sci-mathematics/kodkod/Manifest b/sci-mathematics/kodkod/Manifest index a9036dda07ce..6bb7ef5ec1ae 100644 --- a/sci-mathematics/kodkod/Manifest +++ b/sci-mathematics/kodkod/Manifest @@ -1,4 +1,15 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + 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 2632 SHA256 11cbec05849d07d426a5a62a7d5bf1436a3a163b933010517a3a37720f779a0b SHA512 40f6db271bba995faaed4606828dce685f6d1bb43423afdefc78029a9d717862d3750ed840edc29c5db912219050725d453ede7913cc2d5a34e2170e0486afda WHIRLPOOL 5168b94b62268b7a173cfb06e9ca29a897513276b79042d4639477ef06dae79f4531679eb0a240ecd6c0148a44db51a2a0c7336384310d976c0cfd0b9400c36a +EBUILD kodkod-1.5.2.ebuild 2736 SHA256 882b16be279a05416b2762d0e3ac21c2f40c3e29cdfc671af558e0580bfd047c SHA512 620bd38bc10022b38982a48d64fb45d747261cba9a42674820285a96156b179918bffe640792932d0df1268827efcd0d735116b908676d1c6e67471e6d14295d WHIRLPOOL 39dc4a596dea6aa7094321d7d0e15f3843b06d8216ba43b5a50d62b5b2a2a05297fb8587d0599e990d69aa58a188c7f59965d1a5af2d512e4a47e5252e0bf29a +MISC ChangeLog 466 SHA256 45dab5fe6c3ae5909327aeb33437867e1ede67acd0519ef6b82f42aa49dd51c4 SHA512 f3a7a4ed4d7c20677eeab35355fb91baade3f754df0b3d9d5ff93299e3e4f79be50c7a9afc72ec72df499ff7e378fcd48394ace778ef54853b84f676d7f97e10 WHIRLPOOL a8a1572e649f2d4c75efbb79c7a513bd298ff5e877771cd39a0fa5e475b6b5b10b31f17d5a9192f1dccb6e96d9765e440edad95eeed9ffa3680b2487007aad90 MISC metadata.xml 799 SHA256 676ebe114ca3392d4e8cd5368ed8fc29ea4f6ab68da96655847635866e96847d SHA512 495f6b7a27b3cd600432f1f070c470681d33c4a7759e9af19cc09a7f37d4fc14ee4cc560ba6da49000a934780ada394d9768eddab28fc0cdabb40f133e7cbf8d WHIRLPOOL 79c2f897bb17d1671fe77ae307d1ec74c3cc66461e8433f60b2dcc2f2bcf21f37a14babedcba0955f22920c99c58ffbd3ebc3471ee9bed6243f6d16905667ba4 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.19 (GNU/Linux) + +iF4EAREIAAYFAlC/JOIACgkQoBEVQmGOlx8JBQEArPOoYwohWNRbsYrtwbi7EAwg +DGAw3mbpQpwJr+E72HQBAJU9E8GORNWyFK1VOdu43BAZ58DxRw2loCq8TR9eNgsQ +=JaxK +-----END PGP SIGNATURE----- |