diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-04-02 07:23:31 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-04-02 07:23:31 +0000 |
| commit | 138d54aa42cd714571a7a498e03fe087dc878d8c (patch) | |
| tree | 49d0b9f530935e7340caefe3e2acee3d508813b7 /sci-mathematics | |
| parent | Loosen hashtables and quickcheck deps in agda 2.3.2-r5 (diff) | |
| download | gentoo-2-138d54aa42cd714571a7a498e03fe087dc878d8c.tar.gz gentoo-2-138d54aa42cd714571a7a498e03fe087dc878d8c.tar.bz2 gentoo-2-138d54aa42cd714571a7a498e03fe087dc878d8c.zip | |
Loosen hashtables and quickcheck deps in agda 2.3.2-r5
(Portage version: 2.2.0_alpha171/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 79bec14efb26..86a0a835042c 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -23,13 +23,14 @@ EBUILD agda-2.3.0.1-r1.ebuild 2682 SHA256 de467510990469f26662ab8167bd02dd7540d5 EBUILD agda-2.3.0.1.ebuild 2139 SHA256 7bc93ef47608329e0abbdada68be30b976865eddd144866e1b714d1da210f62f SHA512 f5509f8bc9c87c12fd001e95504bf56d6fea038d8cbe7f53a3e31a44d77035693f4f60e86845b30b4d8f376eb6029f7c3d6b2ccb61fb0192fcbc5c99f58619ed WHIRLPOOL f1b9daac6cdd9429a6bfca5c570e1290d5e4021de580e466ff97a6a4044e16cd6cb1eb03cc976ad78aac7fece57bdd1c8b8a9bcc2515b911c88dbbac6fb361b1 EBUILD agda-2.3.0.ebuild 2399 SHA256 209a5238cb245762c5a365835b52832af800aeed186baaad96c063d8db57bd2e SHA512 41009d6c63127310384ccc5535079b00a0ada61b52a72aa75858f7276b79efe565b9fd10cc0a6aeeec6e99feb0c69a89ad6dc48dac8b264961d94d4a6ab39764 WHIRLPOOL 93f46c4895634b57412856aa18402a75df23c94427b5233f003848e529576c312716ae899224dee8b585626b9a1b61b2e49c2e77f359a9c70a224fee2b98170f EBUILD agda-2.3.2-r2.ebuild 3076 SHA256 746dabf68f238bd41f4ae9f89b830c043215be9cd93a466c0e96fa8511da84b3 SHA512 51c3ca59a4101ac5b4b7f0cff1b862b875416a49ad3893c79b6352c8a7a007f5880408548373ae8be067e01cd242d715eeae483a53f7de7a630c29f980ed02bf WHIRLPOOL 9973949924cd994a25d934865d6f5444c3efe91c027786d13917fcf7186f192189e65e4db1cbbbdc549eb05bf5c46006a4e5f7e17183b54c3a0428295f03b601 +EBUILD agda-2.3.2-r5.ebuild 3237 SHA256 aee04a11ef26500050c81e08df1843c6fd20114a3b42f4688d226e53fc81ec39 SHA512 c3b099da5caa4188692c9df4441f16aad6e5a6976fdf881f02e35f4966e8b7e8bd784b608832d228f364e091fb8ba34e68643f3f25b47048e7579f8a26d91e68 WHIRLPOOL 7bf515475508e702a5afe69cdf39f83d8418f652adb7b7735f877da65ca27cea9341f76639aad7542a83036f75f28d791b5c73f2470a5019dd68d33417d2921e EBUILD agda-2.3.2.ebuild 2856 SHA256 77a5282ce1dd12925eeee78d18bfb9ee6e20b5382aa8c239579eac34f688f46e SHA512 51eb52b98785ad93ff64b6b33e882c3970b46c99db6c57df053a858c20b260fb16068dc7be085743b45bd694252b0dcc5f5902213377504dd943ffc08f878ab5 WHIRLPOOL 03f712b15fe561c71d78fc991389e78a8f43b9c8fdbf84c0ae5953041a49ce8ecefeb2bb6297f6a2bc5f90592434f0e525803f79e824b3533be943c8947313d8 -MISC ChangeLog 4157 SHA256 fcf2490c018c41304d400b7b0ae0a3e2e21346952375f38f50ccba0ae7d1d490 SHA512 d6e555d0b0437c59ced455a24cfad8f177ef61e9962eab1a41e1abef083eb0813ca587f04512a46f461fde0cf3bd3bf19b22407b5355a720eb8de84c033902e4 WHIRLPOOL 34d768407cceab67674cde1e6ca23e846a70679a572d88d4275f7077ac5a66a40fbe0184dec9d801169e810f503c01280c9b39b8535dd98c7742a42c7c78ccca +MISC ChangeLog 4315 SHA256 937fc4926cc9a48d1076eb78aedf6d832ad8f122cdf5b562e4ac9520bec943ca SHA512 c7f42b6a6b4c2c7e76aa1a72f3c56f91492156168ead06cb2907dc95b9f45969ee43eefdddf483fef2ddb9e9ce8c1caffbeef7aa4c567699850b30ae9781d043 WHIRLPOOL a2a0022fe5c39afcd17a7c4be0405a785fe4b211eb0e5b89b702402aa48aadf800f38313ad17e6f11b205eb2229669cc13a432c6b64182a3035e0511571f3604 MISC metadata.xml 668 SHA256 165c4a13bd018ab925d952bbcc5bfbb90fc3e52a48c0826d15002a0b4f5857d8 SHA512 fffd98368697b3975d1d7dee5947f01195ec3706b511aa5a3ed38aea167d1cd87cb278ca62d9fcf0afce28d8da13dc831d9fe0b0c02c4fc31ced44485e272237 WHIRLPOOL a20fc3187a93fe6e5d8f6639d27faa3632746e81e46a7f40be2bcc3f7e47008c0d2a3978e8eb0f90bd692d166aa3208ca482182d451f781a3fc124dd79d6b9e4 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAlDdMoEACgkQoBEVQmGOlx89PwD/QA8Cc5H7AdXIUPVI6/J/y46a -CPK5QNbypJ6koSpZ15sA/13yZkq0QmPXoe6eAXWH7g9R90v6Ae7vyRaeXX0SKmzA -=wkzk +iF4EAREIAAYFAlFah0kACgkQoBEVQmGOlx+MTAEAue0oDoylYt+6+Owbo7DUnKAY +/w9RzRZMhzsMNTc3TMkBAJUH0JHr1qHQOTd/ImFN1HQk/yRq3A7E/C5bP8A9zNPO +=F5ip -----END PGP SIGNATURE----- |