move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage

(Portage version: 2.2.0_alpha125/cvs/Linux x86_64, unsigned Manifest commit)

1 files changed, 19 insertions, 29 deletions

diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest
index 2faba0a510e1..5fbc9b93f3bf 100644
--- a/sci-mathematics/agda/Manifest
+++ b/sci-mathematics/agda/Manifest
@@ -1,29 +1,19 @@
------BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA256
-
-AUX 50agda-gentoo.el 318 RMD160 8562741e1705eb87f9409a4b25d19d5c11ed42a2 SHA1 68d46099ad58b0d6617b3479aeece4e618040f5c SHA256 64f767d1fb3bef2e0b31f13f8ed5764dd3c5ede563c543694946a26ef16e22ee
-AUX 50agda2-gentoo.el 317 RMD160 eacbf92446738745987e9d3fd67dbf0d226bdbea SHA1 4976702e0326498dc95d14c16783377250f38f19 SHA256 043797b8766a610c08a5aa10b4ea46b955f208b851f0baea4ba4dbff74fb3417
-AUX agda-1.0.2-upstream-fixes.patch 2011 RMD160 2a8800c74748746e78b8e27e9f869ec258535186 SHA1 ea6d31923b5da554145020f4618179a6bb555b42 SHA256 634253f00a400f4e4e2c2714287ff6a7ebd1b5623d60770a6963e42d3a9f8cac
-AUX agda-2.2.6-emacs.patch 945 RMD160 b9897c1e9a53c269535d5fd9171273da47a2ee40 SHA1 05df4ee7c6a1e0348a6d03818a69768e00854b34 SHA256 aa3e0fc6164cb0d722fc5dc31e23b2372320c2f2a4a45c1e722df2dd3de8f5a5
-AUX agda-2.3.0-emacs.patch 949 RMD160 4ef386a55009863f819a31f596a709a427291822 SHA1 4f811e03d7a40c96445bf944581caba7a162ab6e SHA256 1449803290440d01d792254edb68f4a3692394f6ea1fdc8128d993dadc66e5a0
-AUX agda-2.3.0.1-emacs.patch 955 RMD160 1fae765f23993f8352717381895022c85f1959e4 SHA1 6d1fbf83b3e8d28bd8259a7f38943e20050caf89 SHA256 8a124f71c4580923a2d8ecd39064a999da313bf7f7085e322d8259421f17496b
-AUX agda-2.3.0.1-haskell-src-exts-1.13.patch 1077 RMD160 1a846bd60ba511614ad71f68c0adfd371a3f210c SHA1 aae50f28d80b2f9f4e24f56344facc700a03eb3c SHA256 d88f7e113b701d6d67bbbd1965f878886bfb08483e238172b721e4f61f106585
-AUX agda-2.3.0.1-mtl-2.1.patch 489 RMD160 0d03712b9f738716191c00c2b2cac4f84b2bb7fb SHA1 43481a2d03568536416ce5b3938ca8da330e2abc SHA256 c529a4585ceab9f2f2e9746dd36b72ca91dd8c815f43b427022ef7c7517d6199
-AUX agda-make_install.patch 549 RMD160 323539535e17244e979f0fd14684f4375e0de4ef SHA1 f7e9a2b633b7c03f305db1210f954f34e5dc4037 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc
-DIST Agda-1.0.2.tar.gz 505642 RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 SHA1 fffcb8ca8d565e40756cd57035d869a90d2538cc SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1
-DIST Agda-2.2.6.tar.gz 1376824 RMD160 436b8ca196c0141e58d352dc88d4fa048dfa7cee SHA1 f9d2ed26379d572f47d1a7da3945407929af28c6 SHA256 3ea0f18d475e9a27ab4a6362e0888aa173f8eb9630085124aaf79df336168ca6
-DIST Agda-2.3.0.1.tar.gz 612342 RMD160 5228de0bffc63b6604c4d2263fc2a5587262c6ec SHA1 9fe8bc82c1267f4974928b807a8701790a208c86 SHA256 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338
-DIST Agda-2.3.0.tar.gz 608029 RMD160 759a5d057def93ca6cd87f5e40f5a32953fbbad6 SHA1 128fcca71d1c1ddc2cdbfeb61e5ad41ad4d7ec97 SHA256 608e130bd33a1c14ea544b46bfb55c0c8e31ab43952572df38df90d086e30cdc
-EBUILD agda-1.0.2-r2.ebuild 1234 RMD160 548f429956b77cf1514b6b8b7cbe1d48bf2966d8 SHA1 970eaae13da56585a9c2fb5d96be5162405b17fb SHA256 f5e5b1f82c4197d1fd820a54e9273c48074229bf0dd75a78f1ac11d2c744c48b
-EBUILD agda-2.2.6-r1.ebuild 1350 RMD160 39158bf9155e5b46bce03ad1520b803829d6bd7f SHA1 40b51ac6f2b6f6ad88e98aafcdfc98487dd3cc94 SHA256 3d17da7d37b43cfe8f3fb3391d226bb33e9323330d52091027a89b2e1be0922c
-EBUILD agda-2.3.0.1.ebuild 2149 RMD160 83cb687381054f31fa8cb4fc7ec908382860950b SHA1 64db4b8175335026726b17ba46ccaf87175dd947 SHA256 ee92f730ba6c619924a16a2f11be1c64201b387e7bec08b6243ee6d5a793117a
-EBUILD agda-2.3.0.ebuild 2409 RMD160 6ccf8a2e5b6b1b7bd3923da61a867c5435f7485d SHA1 59983199de54194fb18dfe19e5872e6001116c41 SHA256 a8efb028044efe476bafc2664cb29253849d1407563a2306d5d7bd9ca2f01340
-MISC ChangeLog 3445 RMD160 d99a8901c41ed89f3ec26989dcb1544e8502e3c7 SHA1 16bb761278fea8fe601f9517f00d69969ec1fcef SHA256 e92c256db1e2a9c343fdde10414b6b57a970adad089c15e60bbcf76fdfcf56a5
-MISC metadata.xml 668 RMD160 466ee13a2463be6ace75b275eb851eeb2a37f59c SHA1 3f9dcf39927834481b84649e667c144d22509a32 SHA256 165c4a13bd018ab925d952bbcc5bfbb90fc3e52a48c0826d15002a0b4f5857d8
------BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.17 (GNU/Linux)
-
-iF4EAREIAAYFAk/J2x8ACgkQoBEVQmGOlx/dkAD+Namt03JFk2H8PtU5+uY7RhdR
-EEeqExO+oCjekJIynWUA/3LbGFnCYiRKmrMWzPLzk8ty8NGp0C7UO6dRjRS31I2f
-=Bo/C
------END PGP SIGNATURE-----
+AUX 50agda-gentoo.el 318 SHA256 64f767d1fb3bef2e0b31f13f8ed5764dd3c5ede563c543694946a26ef16e22ee SHA512 b8055da7dce64c0355792fddad022710938f2d6731e2bc40d177030a9228970f1797de34d1f13efae19325d2de6e3420acfa56f2683ecd7f06513597b7e7eb22 WHIRLPOOL 939a080b280aa8bd86ae38011b98962cfef1c1a0ae4f038e73d9b95f98a1a374b06cfcb7115d1fa860c7252dcf01d207599c9ea64c4f60996202dca345775cdc
+AUX 50agda2-gentoo.el 317 SHA256 043797b8766a610c08a5aa10b4ea46b955f208b851f0baea4ba4dbff74fb3417 SHA512 55b7438896cb66b4b32b0ba0d9468bb2496df1f63a78f3f4b4e19cc038018605c9cbd7880d2be1b40d6d1509ac6df20304cdc8c2ccde69e89777acfc65a1ce8e WHIRLPOOL cba0b37c78d2e409081f90d7d68a2b5c21ad8cb79f51ff364c8ee9107c9f42a229d60b195a984acfcc45a9638b04bac0371e9eea4ef2bde1680983a85832329a
+AUX agda-1.0.2-upstream-fixes.patch 2011 SHA256 634253f00a400f4e4e2c2714287ff6a7ebd1b5623d60770a6963e42d3a9f8cac SHA512 23449c13d4bd41d8fd5c6ea454f9c4a4572da071a3314f4143f1b9369a73bc4dce16d55660cf9c01689430f3d622ffd90ddadca9cbfe0e77c31e3cd5e080c623 WHIRLPOOL d99ae8e2300301f7554254fb04d76809bd0cab92c46b44e7fc4775f89d63bacba01d798de685f9770ae9c8151b287a964e8df2ac8da23560ad132e836065dfee
+AUX agda-2.2.6-emacs.patch 945 SHA256 aa3e0fc6164cb0d722fc5dc31e23b2372320c2f2a4a45c1e722df2dd3de8f5a5 SHA512 be239c0f43427ddb4be3e3a338b9cd73d2c7821ba10f849ff526ec1978525c44b6a9989c385a42a3ce0e0615be572105aa4a807a56b1eb84e0dfdcb43784d955 WHIRLPOOL 5f7898af7bcee52986a60e914cf3a34a5be0a5317feaae3f398ddd8a9fc2b23146a94cd70fa50ef67fd2f8719fb99b7dc9ee37243d51baadcb9ddac5fdc1cecb
+AUX agda-2.3.0-emacs.patch 949 SHA256 1449803290440d01d792254edb68f4a3692394f6ea1fdc8128d993dadc66e5a0 SHA512 1a01c463516d79b1027d99e8409ef5ddc11b83029229946b3c2b234633dd443848ea0fb3589b647510b70cca1fb83953030ca3afede9877541a32d87df980913 WHIRLPOOL 476ce1ba07d864b6914984c1f9ebb0d2a6f99fe4c3ebce4b1f7d1b6e22389546b8b1fadccd8e3ded2257e619f093aad2889a55822225236cd2c4e0d6e270c936
+AUX agda-2.3.0.1-emacs.patch 955 SHA256 8a124f71c4580923a2d8ecd39064a999da313bf7f7085e322d8259421f17496b SHA512 7be137365383c7781c4b24811dba65618e5c30c3b4694241f9034682aea4d7ae641165165e9572c274843d7c5328afd3e0bf85d8e080f9029c94d11262d4294a WHIRLPOOL ce7c4562f7893bae1a377b868a746d04f8b551912aad41836b28f41db0ef9e8cf75bafc714017b6d035750a18018e69b6d788959093f51aad21ae6cf1eb66cd6
+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-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
+DIST Agda-2.3.0.1.tar.gz 612342 SHA256 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338
+DIST Agda-2.3.0.tar.gz 608029 SHA256 608e130bd33a1c14ea544b46bfb55c0c8e31ab43952572df38df90d086e30cdc
+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
+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
+MISC ChangeLog 3617 SHA256 6d1db1989e71d92059f3f157f6653bd58961fc08e227ed18eac42a18f1bf3ce0 SHA512 08e7f4b0a86bcd52551090215eef9dc2e357fb407ba641182206d7d55a8d16598f7a9d4757610577aebf1c3bde6d8255bc83107bed7084ca8e890780daee5f1f WHIRLPOOL daac8ef5cf192f5d52ac4fd9bbb95912f18efa36349bf504ee9183258ccc332fe35460d27e1ddd4f37cc1348b2aa94a595744a92ce5d08866265f722fb1fac7c
+MISC metadata.xml 668 SHA256 165c4a13bd018ab925d952bbcc5bfbb90fc3e52a48c0826d15002a0b4f5857d8 SHA512 fffd98368697b3975d1d7dee5947f01195ec3706b511aa5a3ed38aea167d1cd87cb278ca62d9fcf0afce28d8da13dc831d9fe0b0c02c4fc31ced44485e272237 WHIRLPOOL a20fc3187a93fe6e5d8f6639d27faa3632746e81e46a7f40be2bcc3f7e47008c0d2a3978e8eb0f90bd692d166aa3208ca482182d451f781a3fc124dd79d6b9e4