diff options
| author |   Patrick Lauer <patrick@gentoo.org> | 2015-01-30 03:05:10 +0000 |
|---|---|---|
| committer | Patrick Lauer <patrick@gentoo.org> | 2015-01-30 03:05:10 +0000 |
| commit | 062a63d4d97b6daf0c9fe3ff77cc5b7c0d5dbc86 (patch) | |
| tree | 3464fec0c7afd6c0af93ba5688f6b0f21fdc8786 /sci-mathematics | |
| parent | Remove old version with unsatisfied dependencies (diff) | |
| download | gentoo-2-062a63d4d97b6daf0c9fe3ff77cc5b7c0d5dbc86.tar.gz gentoo-2-062a63d4d97b6daf0c9fe3ff77cc5b7c0d5dbc86.tar.bz2 gentoo-2-062a63d4d97b6daf0c9fe3ff77cc5b7c0d5dbc86.zip | |
Remove old version with unsatisfied dependencies
(Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index 35769d7f4934..f2cbe3096c5c 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -1,22 +1,10 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 - AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd WHIRLPOOL b03e7359f9576887f35167b208cb9e6c4b599afa9bf963a51fbd8b1c13d636b56d2b20d769a78f567f1c9f956e048185eb5dd45b6281931e1e0cb04d11b6adce -DIST agda-stdlib-0.6.tar.gz 216273 SHA256 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 SHA512 38900674cc95deec87fd5a61843904e05ea256b89401741d7e2673801953f87fdb5b97e0972b2dfd74195c7a85121db0e7abebb69808227f85ecd8ac6702e6cf WHIRLPOOL 7decc6a7a35221954c7affbb595ec14ca9a079db2e6f7ac582e2b6834f6b345bc63a1162a2a5a3b9c8012ea200ad419c723544c04d4757e207d51819d083ed6b DIST agda-stdlib-0.8.tar.gz 246158 SHA256 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d SHA512 5ac3bda61eb209a4db650edbbdfb96b73cb58b24e43842957696a20a93454d9846a19e4866af0b736c2c3390184223473da75277e490a6a8348531431ca27af0 WHIRLPOOL ccb5f294cb303b7d502227a6f908fa4904c56c55af1c3897753da3f39c7271cd07c292b56e030b8d80f97e6d6a8ad9f0a5fba1f22e0d169bdb4cb79e6e2db060 DIST agda-stdlib-0.9.tar.gz 248895 SHA256 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 SHA512 aa297e250c5d98ca3f267c5ef95fc33999f9b120256c1983774d814b940a0f5952e524024908e3716af71ad544a586576c1bae6cca19e63797b1d4004ba88413 WHIRLPOOL dd200c61e91e397dfc7de8f6269edaefc20aa3daf5ead9e9fbab62468e5385481a74d5cec62df88e5c5304e06dfbd47b1870f71f70aba7fad29eceb0d836e2b1 DIST lib-0.7.tar.gz 226400 SHA256 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 WHIRLPOOL f51ba5c3430e9a8a11d8eacab3b6121c730e4a437286b88f743fc2521bf1941a889d5274dd4aa7f4fe283595b5ac29a8a35735d873eedc94505455178d167536 -EBUILD agda-stdlib-0.6.ebuild 1115 SHA256 33a8020d46f3a71f270a1cbb90401dfcf17951d1525e7bc1c9a7b3f1cf7234e9 SHA512 a9b6ae898f748b3f61a78336b6e7f5dae7433bbdc767a8bbf954d60b656616e9daf26bdd43facc7b643790720ddaf47793830d980eef8871d46421861119116c WHIRLPOOL e4eb24f8e901ea04a3e00b8b5026c8d519f1e915cb20978df0613d87089cb66ab066d679449fd3bb2ccb5015d75a49f3784d15706bbbaf805e181075c01ce306 EBUILD agda-stdlib-0.7-r1.ebuild 2214 SHA256 0135405bc6ae440443ad520a737b9449f1109f0bdd784992abf6c173339753fa SHA512 4d6e427dba6fc04985c7f5eaebd5cff5f5f338267fbfc932979e825f9832a05e4bbcead2bddc7782e29352e329bc056acd4d4b1334e2c557ffdb05ac820ccd06 WHIRLPOOL 5285e1f2581dc2f99a6979e8217dc5f7f583b1bc9c6251f6f58ac12615e7ef5bb7c997c1a12aed579dadb8e595820c22660f31fb3177ac528e7e9db418efd782 EBUILD agda-stdlib-0.7.ebuild 1778 SHA256 a1d1505200364dae71365177ec1eb2deaa06710816116445af9e7c811cb878b3 SHA512 20d31b4784d89b6122ffadfd72ba1710a02e5ce06bb0780f588208ba2cde333140e0740b917e9f74894f80ae09274a048b421604da53f7e239aedf463ce74a31 WHIRLPOOL 281760de3bd2004c24b4b4f9dd4040ec6c7227140e55b82864af5de3d4e0ae40c71098641b12ebea9aaa255d03220b80009064dfaeff86eb5e8709e5146a7829 EBUILD agda-stdlib-0.8.ebuild 2049 SHA256 618faf148d97889717f4c885933e2f4d06fc40eed7e7a5f949fd7c1637677aa6 SHA512 195a58d0b4234e6e5a33e7f8c160419d0b1caca8fe945740c2113e0ef6c3bf28e9b540201923b4c9b2d9fa7378735c3c988f5d2a5cf3f1510c1627547a028d4e WHIRLPOOL 6fbcafce9bb6208f9683a249485cfbb13c28981fb54ff28da4058badc38c6f35be8a47b5d79a66e4e6a67419507827de011ab42e265fe2ef75edcb05193c935c EBUILD agda-stdlib-0.9.ebuild 2049 SHA256 0273ea9381b06071631b2a230dc031a6662b75f96f7857e87fb335b0ff351a58 SHA512 a99df09c630b5f10ff36f6d9020c8498cbcacb08c1c741bd4bec8ebb7b33d28001f1c25c3648529b4d94cff455e041e4f181ca053100cd3d88af1d833d2ef0b8 WHIRLPOOL 670a7ffa181fed3d15279538e5e353f4637f178e0d7f8425df2f0ff490f1ced373a5ad838e4fea55ef2ba1a57a4970cd9b5e4d028cce210d76545c2feb061907 -MISC ChangeLog 1882 SHA256 1c96755b1d2b6d73243a2818015a8e3fdcf8b80305f9f4366e7d62c983be2e2f SHA512 0f97afd9080b495c19aac76dc75e1c515e0d3c6f6d8bcd5944029c29af037728e078cc45d7dc11d1f7572168a2476671c8e571f5874990405dae5c7c4636cbf5 WHIRLPOOL d5a820bb40ddc28981e00a260e7f2d378e77abbbcea1a87c841342694e57f894752cda2a29c5a14e09d108cbb0ad63701da681d12566518499c54dfeec8269e1 +MISC ChangeLog 2010 SHA256 97323ee0a444b2ad2a20ec68442adbb02f84d28cb81bdb5f26a831f72ff238c9 SHA512 7a3aeb72451f49a806a654ce502b91a339df2257613dc9033c2b1a7c94f3864f2f4c18d6f55b2c7e8da29afcb9cb50cc39c1949b2bd05ea89580cb4429cdcb83 WHIRLPOOL db7ce3989fc7579be183ae60f406299ad5bf7f7d6d31425ee975a370f894090d917b3f8eb44af7c8f8b865e2d6b1cfb4ca02e993cb88070944676b12f2f8b517 MISC metadata.xml 366 SHA256 c41fd8efa2f976bdda4d3a30d8ef583c3978bd88157791e2873646aa21d222a8 SHA512 84a809638cac53987f8206e8dca03b50eb6b50b24fad12d986bf270adcaa2b71f6f2e264898d1eaab9b9945397dc65246866249b14182c095146d3b6cf5a25ff WHIRLPOOL cac6530be82252ec18ad15ecbc9a38af081f6137f8fd7018813d8903c7a339704243df53fbd245bd7c92328d47ece3b29785153115ecd38a0bf2be05f8c0b8e5 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2 - -iF4EAREIAAYFAlSNaqMACgkQoBEVQmGOlx9esgEAhQOK8PQt/g0ZaTNXNbogsEZj -5Dn1+9uFqHV4yIrskzwBAKeyZr6aGxKOUtyNpX0yVOpxrenkq64YxlF7uY+v8oCz -=qED1 ------END PGP SIGNATURE----- |