diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-28 05:47:46 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-28 05:47:46 +0000 |
| commit | e1c5e4cec23cd987767a424dd3c83e80c4637c8b (patch) | |
| tree | 58eeec2e1a04ce6f482aac8f5a67bf06d5eaf132 /sci-mathematics/agda | |
| parent | Loosen binary dep, patch for hashable 1.2 (diff) | |
| download | gentoo-2-e1c5e4cec23cd987767a424dd3c83e80c4637c8b.tar.gz gentoo-2-e1c5e4cec23cd987767a424dd3c83e80c4637c8b.tar.bz2 gentoo-2-e1c5e4cec23cd987767a424dd3c83e80c4637c8b.zip | |
Loosen binary dep, patch for hashable 1.2
(Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 924cb7be8760..79bec14efb26 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -10,6 +10,7 @@ AUX agda-2.3.0.1-emacs.patch 955 SHA256 8a124f71c4580923a2d8ecd39064a999da313bf7 AUX agda-2.3.0.1-haskell-src-exts-1.13.patch 1077 SHA256 d88f7e113b701d6d67bbbd1965f878886bfb08483e238172b721e4f61f106585 SHA512 2cc83a61aad7410dc90fa283cc4ad0e243fba2b335f9c84ef1f7faa96c717179da96d96bbb2507bde69deab315dba8ce4ae1bfb3b21b2851b87c4e4930d30003 WHIRLPOOL 6e9b84ca3830dc4d2dcd119d08c0b056805c09beb0fd88588c53f04d76286cc9d695963bda8a82985b8887f8a5595809407e03fe41925a95b30aba3a85e93c8e AUX agda-2.3.0.1-mtl-2.1.patch 489 SHA256 c529a4585ceab9f2f2e9746dd36b72ca91dd8c815f43b427022ef7c7517d6199 SHA512 3f78da37ffb7ff3c06b49bc8bf6df9277866b6fe5d4cccfa0120e0959cb79ad7ee13fab4fd089dafed665470efd89a28936a5c2d7f818c9a03f1d2e6bb6cfed4 WHIRLPOOL 6656d1002a38636ae424b71d9b4cd2fb7b92440c769927ffa710507321fb9ebb41de23da4edc3d6038c05ddefdc3a1ebaf0df0f4327b9ae64f9c4df6daa8d327 AUX agda-2.3.0.1-quickcheck-2.5.patch 1308 SHA256 a07adba140a81eb76042a7f985b2cb711d99e92d1ff7df9ca32a93685d6e6fe9 SHA512 4c15bc38d2341be7b830c48a004f688725ddc2fda2271b44455a7bab3cd50f9fbac1821ca76b812fd78fdc5db252dc7a89cdcf9ba4cdb2a8f4322d1d43216521 WHIRLPOOL be134013d143d76dc7741fea7fc43654f4f55bd583faea9dddc90189f934001196129e2a949f0c104109367e03c0a13e7a25fc51dce6d414429ca486dc657896 +AUX agda-2.3.2-hashable-1.2.patch 2010 SHA256 8ed826fb6c7420274d1e31d2abc680d2d6419c7ef9a474cec0b79a12d4feae5e SHA512 b35bc500c94708241d46f5c9bcd78008d8de83a6d5d59784eac27fb4a0426a7a2c623dce1dfc1209b80bc73ff92c07a462d36e403826033c7c87ea828c1efda2 WHIRLPOOL beaab8e5301baa4bb222166998e92ca4cb7acd11b75d6656f0b22707b4c0e4f6b98217a7ff43aaa41aed75ee2719a4a64338a360f461ff1580d3954d4e0cd518 AUX agda-make_install.patch 549 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc SHA512 28ca830797ecfddf50fa0f3cedd8eebd5a0c1f974749440bb793d597736da2bbb42217b80e25230b941814bca233469b5909471cfa70c4b7fc659a46d7c43d1c WHIRLPOOL 40a5f18241e4b9df5a1997f342eae5f292019a14e222d8ad792f632b3f33c0c2929959ed705514ef94968e022cc3eadf109c24c891bbfdc9b33568318838f472 DIST Agda-1.0.2.tar.gz 505642 SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1 DIST Agda-2.2.6.tar.gz 1376824 SHA256 3ea0f18d475e9a27ab4a6362e0888aa173f8eb9630085124aaf79df336168ca6 @@ -21,13 +22,14 @@ EBUILD agda-2.2.6-r1.ebuild 1350 SHA256 3d17da7d37b43cfe8f3fb3391d226bb33e932333 EBUILD agda-2.3.0.1-r1.ebuild 2682 SHA256 de467510990469f26662ab8167bd02dd7540d560d3e0b325c77a2a2f993cd38e SHA512 8a2cb0cd6a9e488275bb6c5cfa4448b2c1aa21ed45ea92b2551383663090f783fbf0184b82510b0b4338cb9b133d2a2e1f5f37d69425d8722f9c03c7434f39c2 WHIRLPOOL a4deae1af391f40b51478b1541f9c5fdbf38341af287c4d4fac11fa53369d6823444c875ee6a5d978b93c08abea217993f5f80b6198fbb4c0b0ae63877a07a65 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.ebuild 2856 SHA256 77a5282ce1dd12925eeee78d18bfb9ee6e20b5382aa8c239579eac34f688f46e SHA512 51eb52b98785ad93ff64b6b33e882c3970b46c99db6c57df053a858c20b260fb16068dc7be085743b45bd694252b0dcc5f5902213377504dd943ffc08f878ab5 WHIRLPOOL 03f712b15fe561c71d78fc991389e78a8f43b9c8fdbf84c0ae5953041a49ce8ecefeb2bb6297f6a2bc5f90592434f0e525803f79e824b3533be943c8947313d8 -MISC ChangeLog 3972 SHA256 e284e9f1aad0b9566d5d59c7a0159f9c714a676daf1cb95bc051c7641c16e5b8 SHA512 61d46ccf6cb6d2f49e71e403c01244dcc073c3d81ea9fea8b48b67898eb5d6276550aba3f68fb8a107447105fe9d92616801577091b80dad9fab6d3502fd719c WHIRLPOOL 94a6398efb0ea1512489e8f06a55a2c4c53c8ebc8d4457c5e2a2103631cae3b6466fe349053c0a9428309c961fd8f711225a30a2a889440c92dbf9ec6d1e814b +MISC ChangeLog 4157 SHA256 fcf2490c018c41304d400b7b0ae0a3e2e21346952375f38f50ccba0ae7d1d490 SHA512 d6e555d0b0437c59ced455a24cfad8f177ef61e9962eab1a41e1abef083eb0813ca587f04512a46f461fde0cf3bd3bf19b22407b5355a720eb8de84c033902e4 WHIRLPOOL 34d768407cceab67674cde1e6ca23e846a70679a572d88d4275f7077ac5a66a40fbe0184dec9d801169e810f503c01280c9b39b8535dd98c7742a42c7c78ccca MISC metadata.xml 668 SHA256 165c4a13bd018ab925d952bbcc5bfbb90fc3e52a48c0826d15002a0b4f5857d8 SHA512 fffd98368697b3975d1d7dee5947f01195ec3706b511aa5a3ed38aea167d1cd87cb278ca62d9fcf0afce28d8da13dc831d9fe0b0c02c4fc31ced44485e272237 WHIRLPOOL a20fc3187a93fe6e5d8f6639d27faa3632746e81e46a7f40be2bcc3f7e47008c0d2a3978e8eb0f90bd692d166aa3208ca482182d451f781a3fc124dd79d6b9e4 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAlCoktcACgkQoBEVQmGOlx/LuQEA0vgobzzFihPrp5Ib1d1qfTrY -quD0UCcTp+nFvapeIT0BAJVVP18g2ALKZ4Q8sVqQ2+z291K2IlWECrMoqdnBEsIJ -=/8xy +iF4EAREIAAYFAlDdMoEACgkQoBEVQmGOlx89PwD/QA8Cc5H7AdXIUPVI6/J/y46a +CPK5QNbypJ6koSpZ15sA/13yZkq0QmPXoe6eAXWH7g9R90v6Ae7vyRaeXX0SKmzA +=wkzk -----END PGP SIGNATURE----- |