diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-12-10 11:25:27 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-12-10 11:25:27 +0000 |
| commit | d4a93683e4cde441c400b11278b445ec22bd41e5 (patch) | |
| tree | 9ea531bea51ff35ec5327ab0cc7047666189c8d9 /sci-mathematics | |
| parent | Bump agda to 2.3.2.2-r1 (diff) | |
| download | gentoo-2-d4a93683e4cde441c400b11278b445ec22bd41e5.tar.gz gentoo-2-d4a93683e4cde441c400b11278b445ec22bd41e5.tar.bz2 gentoo-2-d4a93683e4cde441c400b11278b445ec22bd41e5.zip | |
Bump agda to 2.3.2.2-r1
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -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 df5d83c8209b..5e7e786ec6cb 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -17,6 +17,7 @@ DIST Agda-1.0.2.tar.gz 505642 SHA256 2ab56783a26e84f64422316daf0ce160f9836673573 DIST Agda-2.2.6.tar.gz 1376824 SHA256 3ea0f18d475e9a27ab4a6362e0888aa173f8eb9630085124aaf79df336168ca6 SHA512 b91bf28e7c0e41b83afab98e4552ded960e0b3a9ae0710b63491b5898d87809ce386e706e0d232b09d5745f779954731d64657cf58508a5fcd5b336eda4d08e9 WHIRLPOOL 98814bea70636feeee975569af9ce57183bb1877e0521fb3c09444298ba6ce125996348f9455d66091bf107a469d66d1987348ce96325d392133dfe39e47ca26 DIST Agda-2.3.0.1.tar.gz 612342 SHA256 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338 SHA512 c9e51b20d74cc5c6b8b9a9d7574478f552d0ae9c1133f017727b2f2f0646e04de0fca79918027ef0664bba708763c909e8eaaec2964a7a2f031ba21235b5c9dc WHIRLPOOL ec0e402caed8aa28e928ef20e2707547d9aeab53b9630fc1cb13136423debe89e0826b161895230dba99479049cf42cbb5edde55c584fe0a0ef2d41f9bed4f8f DIST Agda-2.3.2.1.tar.gz 730010 SHA256 790e02ed9af8b9b65ea704b765fd9937444ec1351da9bc2547aa8e9034038eb6 SHA512 d6aa7728d428a66b638f36d7d086be43f4956fa086c5e7dba47520c6b4e2294f149491c8b099c3402c93f9e6d559396573e0f2b72044f6d9c58ef29987c40113 WHIRLPOOL b7fa249ab8a3d11c9f9a00a44b2c3c560953e07d2c4db1eedd411fcfccd62e425a9d2b53c56c96a0002a9878bf21de1f736249751a91cdd795e7289af776c34c +DIST Agda-2.3.2.2.tar.gz 2034934 SHA256 0c8310f4067e4daac42d7233e8f245d216763186071a96ccc3d7e0edc5cb227f SHA512 5dfc156dfaa510cfce5f745a8f4a1998cfe144bdd67df2bd96ffc4a53301a33b540b76f67bd02434c52de788a284ae351ce7659731b5d0081d707e120131cd25 WHIRLPOOL 71b1c6b6eb483aa7aa76884b609f0d60b4016f86cd267e48dd0df438a91662ac702656639801204ee414932d57526790b3122933272b07d8ae11ef64cea978ac DIST Agda-2.3.2.tar.gz 726462 SHA256 d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 SHA512 6bf4775517db41795303a4d1a4611856f599ea7595784a37cb5bb7c4608e948807549632d633a731e38502e61a528a0274b5bf8a6eaa0b9d86a9f558726d18cc WHIRLPOOL 7a0c95a72445b66ee297cdb07b5994deafe8b2f608a238226b0a241ad70b2d4f5e2834011fedc90018bfc692ff1aa4eea57143c01f9b1f496ebb4dc189d6353c EBUILD agda-1.0.2-r2.ebuild 1234 SHA256 f5e5b1f82c4197d1fd820a54e9273c48074229bf0dd75a78f1ac11d2c744c48b SHA512 0f75e6abdca50c639063a713980d99c65290458e1d12b12772529f2731afd4c45401839d993e92c02b2ff171253252f3dafd1652cd4fc93bdfdf404afcdd0900 WHIRLPOOL eea378424156d044b610e9ac1cd8713caf1dc31afd6c4c8dce0a437a861f326a1703d19e8255400bbc6119c36e36341142cf47b027ae97d31039a418b349796b EBUILD agda-2.2.6-r1.ebuild 1350 SHA256 3d17da7d37b43cfe8f3fb3391d226bb33e9323330d52091027a89b2e1be0922c SHA512 9f4116d09e97f24e18d59e780fd620069490e9cef23b8b3653f204edcfb146a8598b8c77e9d2bd84c5862b67bd0a4b2b2e8aac0de5a2d84fed930da9b483b619 WHIRLPOOL 780e2a3d067d69f99fafb4d27fdeefba7d3331e102f37833b8ea022d9d83228874748b3903cfc52c241b89cb1e302be9d7db824c9254f56796eb8763bdc59961 @@ -25,13 +26,14 @@ EBUILD agda-2.3.0.1.ebuild 2139 SHA256 7bc93ef47608329e0abbdada68be30b976865eddd 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.1-r1.ebuild 3542 SHA256 9a23522d71b6b626ecf5db668da05b1f9be8efb6ebec286c9450db02b095f6c3 SHA512 cc9fad306e9ce4cb56b52885d680283c3741442612e373ecf059f5ef574c69c6dc1cc65969e4ade7fb073919872682f13639f4b417cc06ed58fb28e5f03e0f9e WHIRLPOOL 529b37ef254e50fd9ba99b25993794f30fab2610474bda8232246f3eea21a913c267a43577b016de2c476afa756553bfb3403f1247964fe74147c693be2d636e +EBUILD agda-2.3.2.2-r1.ebuild 3851 SHA256 e945a96349b03a851536e672188d477969f7a964128e175b143516cd8608c5f7 SHA512 b5cf7b9faa5f88739af9614e3f39a2f6009ef1ab3a9264be7586b9a001da3f66231c1aa4571999b4af3bf140a26779d3b38f0460413de479afa0177e71f06ce7 WHIRLPOOL 42ecc7a304f6289dcdb5a7c7c95b2b6122266d4b548297b9e05062e43dc7f51283eb1ab0435e16d4ba62444e2f2f67ccc2589dd1be5368d00c58c6f9234e6f4e EBUILD agda-2.3.2.ebuild 2856 SHA256 77a5282ce1dd12925eeee78d18bfb9ee6e20b5382aa8c239579eac34f688f46e SHA512 51eb52b98785ad93ff64b6b33e882c3970b46c99db6c57df053a858c20b260fb16068dc7be085743b45bd694252b0dcc5f5902213377504dd943ffc08f878ab5 WHIRLPOOL 03f712b15fe561c71d78fc991389e78a8f43b9c8fdbf84c0ae5953041a49ce8ecefeb2bb6297f6a2bc5f90592434f0e525803f79e824b3533be943c8947313d8 -MISC ChangeLog 4842 SHA256 14e006a74441eacaa8cbc6c3ea4e9624fe347b0f3515ae5754b9d1715ff943c0 SHA512 224b0593d3e85d6b3b2c509920266e0275e46b92e9d5053b046389de24675283f6d38f40164c2bf0e749e2b9da8166d105f4b0e582d1fa726d1521e008e13f1f WHIRLPOOL 3af56be7aafef13e00e50f35d17684cd1677eaea9f2b436db47a8805588f4326d2ce4887878d4813838ecce006fdc49106289d4e8189d4a32d6cb00b46ff14c6 +MISC ChangeLog 4973 SHA256 03ce2a3c2ed722c92ec87998f660565f08a9839e44f6556cc1d058cf273c35dd SHA512 3c7a0cb5aeceb1da4d060189b343439cf0a964e360c06e3cf33e01204fc578e2858820aaa0845a9829b1bc18cd1fceb0222b59dfbc76b9eaca3d61afd20d6d76 WHIRLPOOL 69ed6ea26affff8e0597485b5deef7b4be4c7c195bdb5bb22e2f77afd86dbd2219d99447836615d4c21eaee4915c9d080fd7bdb2c683e8562a0cf3c75564ad6d MISC metadata.xml 668 SHA256 165c4a13bd018ab925d952bbcc5bfbb90fc3e52a48c0826d15002a0b4f5857d8 SHA512 fffd98368697b3975d1d7dee5947f01195ec3706b511aa5a3ed38aea167d1cd87cb278ca62d9fcf0afce28d8da13dc831d9fe0b0c02c4fc31ced44485e272237 WHIRLPOOL a20fc3187a93fe6e5d8f6639d27faa3632746e81e46a7f40be2bcc3f7e47008c0d2a3978e8eb0f90bd692d166aa3208ca482182d451f781a3fc124dd79d6b9e4 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) -iF4EAREIAAYFAlJiZyQACgkQoBEVQmGOlx9bJQEAizJ/OvpGErSHEfvdyjGovHYr -F4iyk2Py8GYsEUIi3h4BAIG3dGSzMwQgTU15oxfKsIXq0xzIyHvqySIBmefhSLil -=WmJc +iF4EAREIAAYFAlKm+NQACgkQoBEVQmGOlx+4vAD+K44UIamxsGmS+6CurW0t/vpi +qrc3NDvVDMa6eNfDr5MA/j7LIPSUNSxdl3HLqewE8qgmEHfSl9/1jj8mWLqrdGFS +=xitP -----END PGP SIGNATURE----- |