1 files changed, 3 insertions, 78 deletions
diff --git a/dev-lang/mercury-extras/Manifest b/dev-lang/mercury-extras/Manifest
index 3985a5fa08f3..a95681730966 100644
--- a/dev-lang/mercury-extras/Manifest
+++ b/dev-lang/mercury-extras/Manifest
@@ -1,24 +1,9 @@
-MD5 b87d5ff1dcffcb24c6d8fb1a2264e232 ChangeLog 3943
-RMD160 5ae4f91f2f514b8e73081d88d0856afe158f271a ChangeLog 3943
-SHA256 c5db480ed474833dbdd7776e2e95aca966e01e84cbc766f92e65e3219e33deba ChangeLog 3943
+MD5 434884c74c5af7c6ea621dc12fcdc062 ChangeLog 5023
+RMD160 68cd358bd7a71a01396cf78e04b756a585b6db0d ChangeLog 5023
+SHA256 7f632c67485f2a0827ac3bc55d8330c12c900fe32c00a2d3c15c9e57bdf4c924 ChangeLog 5023
 MD5 04bb3f50c82519cd929f7754557a4124 files/digest-mercury-extras-0.12.2 265
 RMD160 e18050a352bc3f86650cf53244bbb17545ef0817 files/digest-mercury-extras-0.12.2 265
 SHA256 087bf13f383826ff1da30ff861cfc48008b7037a9a844f14fee94f51934ec525 files/digest-mercury-extras-0.12.2 265
-MD5 6f8cdcb0dfbbe8dcb288d7d0c2e00bcc files/digest-mercury-extras-0.13.0_beta 340
-RMD160 1b1f65813a3511cec7f0d921e0f5a3db6ae6ce68 files/digest-mercury-extras-0.13.0_beta 340
-SHA256 e1b6085e039b11131e795b518c36f01c18bd5a935262b088277da86cc2e9d1e2 files/digest-mercury-extras-0.13.0_beta 340
-MD5 9054ef99aa50cd750b135c7d04ddba96 files/digest-mercury-extras-0.13.0_beta-r1 340
-RMD160 d0521ca70aee8d960931f0b34a67d62d9fad573b files/digest-mercury-extras-0.13.0_beta-r1 340
-SHA256 5dc2aaa7c0e7fcc4954a0dd2b35f9375e35a531da122206943331abab7c84698 files/digest-mercury-extras-0.13.0_beta-r1 340
-MD5 6e37b5e1fb0f2b879ce2f6dd1293ca26 files/digest-mercury-extras-0.13.0_beta2 340
-RMD160 fc300c81107358196e3e838917a3eccd9375d4c8 files/digest-mercury-extras-0.13.0_beta2 340
-SHA256 a121a1d526fcc00e9dd372ed4af709b7c1540533f9be3b2927911612dd4ec268 files/digest-mercury-extras-0.13.0_beta2 340
-MD5 76736dbb7218801108ec509f1425cb0f files/digest-mercury-extras-0.13.0_beta3 340
-RMD160 26835a9071da724fbc424c67ad84c0704b7e6354 files/digest-mercury-extras-0.13.0_beta3 340
-SHA256 d4850211a8d81e5bc78d7df7dc103f102a7e15caf820ab477553291115df02ff files/digest-mercury-extras-0.13.0_beta3 340
-MD5 7f1704e7cafebc8566bada52836bbf0b files/digest-mercury-extras-0.13.0_beta4 340
-RMD160 10874625e6f87743215bc1e4e4d460a807b4e24a files/digest-mercury-extras-0.13.0_beta4 340
-SHA256 21248ae520b8bd0e646e80b5715af17dc0d81d85866b8d74fb8988f12cf48a11 files/digest-mercury-extras-0.13.0_beta4 340
 MD5 ff0539b77cd64a3be2d6d2505d419d4a files/digest-mercury-extras-0.13.0_beta5 340
 RMD160 1a1a0a897e73e2f02daf73ee4a4ad24af3a3d460 files/digest-mercury-extras-0.13.0_beta5 340
 SHA256 c76794f4296d168c3548eae5348f5a7b1a988dfefb98bbd7d37ae312ab42847b files/digest-mercury-extras-0.13.0_beta5 340
@@ -52,15 +37,9 @@ SHA256 02b567cd088fca260d80ca795d2f303860f87fd4005b7157ba97ef31f448fbe6 files/me
 MD5 69eb84492666aced8984fcf3ac90af06 files/mercury-extras-0.12.2-trailed_update.patch 762
 RMD160 c69b30d1aac449a878a654ae422b7c9cad208faf files/mercury-extras-0.12.2-trailed_update.patch 762
 SHA256 7e79baf412ff2b60966027464ee9a2c3008a619ae2e1107ae3e871b4082673fe files/mercury-extras-0.12.2-trailed_update.patch 762
-MD5 eda3e0c842452c9a4b3d4f68d7ad2cf8 files/mercury-extras-0.13.0_beta-concurrency.patch 780
-RMD160 7a7c58384a2ffe1831b94c4215b51a29adc98c6e files/mercury-extras-0.13.0_beta-concurrency.patch 780
-SHA256 08a43e185cd9af9f6aade653d9aeaa1682bf0953ace3a5ca3c10f359f7f79ecb files/mercury-extras-0.13.0_beta-concurrency.patch 780
 MD5 75b0ca8fe3bb2411f5065cec870b6ac7 files/mercury-extras-0.13.0_beta-dynamic_linking.patch 408
 RMD160 392fd1d24af701fe91a30302c2a23638933fb441 files/mercury-extras-0.13.0_beta-dynamic_linking.patch 408
 SHA256 97df38482ccbbb6c56af8a116c32299a08fe66bae5d7c9c2a2b9b7782a034b00 files/mercury-extras-0.13.0_beta-dynamic_linking.patch 408
-MD5 8dc71bb5b13105acdaa31df2bd5fa72b files/mercury-extras-0.13.0_beta-gcc4.patch 10598
-RMD160 9f06f946f9bce9ace3af2d519f7e5e8cea6c4218 files/mercury-extras-0.13.0_beta-gcc4.patch 10598
-SHA256 1afcf17035e48087ec3a9127ce9dd3304b522e5f57204ee9983a4e353e416e73 files/mercury-extras-0.13.0_beta-gcc4.patch 10598
 MD5 da7ddc1456d77e6a68bb17d213625a55 files/mercury-extras-0.13.0_beta-lex.patch 668
 RMD160 edd76175572180acb237eb4a99c7704c37cebfc6 files/mercury-extras-0.13.0_beta-lex.patch 668
 SHA256 a0fb563a6fef06f3b342739beb7e1d9a9cfbd3c49fda636188c4bc3ebebaea33 files/mercury-extras-0.13.0_beta-lex.patch 668
@@ -73,54 +52,15 @@ SHA256 fc0c4577d13a0e2f6a8d3e5963e742c3e7db8c34ff8ad824dcf173071833c381 files/me
 MD5 bb9d31838770be5115eb3073b1a996a1 files/mercury-extras-0.13.0_beta-mercury_tcltk.patch 546
 RMD160 fc047570a12e649b1d2f1ae4908a0be49452a84d files/mercury-extras-0.13.0_beta-mercury_tcltk.patch 546
 SHA256 a5476c68d3165277db1d9ef3d583cd7df83efc34ab0049e4e610daf9a50c1b6a files/mercury-extras-0.13.0_beta-mercury_tcltk.patch 546
-MD5 3ba7d87efa5fc0d52b05398c49147796 files/mercury-extras-0.13.0_beta-odbc.patch 1252
-RMD160 d64f31845e5333d03ad9bba617fb98faad433179 files/mercury-extras-0.13.0_beta-odbc.patch 1252
-SHA256 7dfeae7242db7df183368d30f4e78abb16d074aacc4b986edbf0647ff3cc7e92 files/mercury-extras-0.13.0_beta-odbc.patch 1252
 MD5 3ae01dd37c7a529cdc16136c016e43fa files/mercury-extras-0.13.0_beta-posix.patch 351
 RMD160 6b52d219d41c441b6bc8c77438aca2993eb65dda files/mercury-extras-0.13.0_beta-posix.patch 351
 SHA256 80054a1dd5a9a1d0c29fb03d3609bfcaed1f45453ecbbc5c1acfc0093cb2f570 files/mercury-extras-0.13.0_beta-posix.patch 351
-MD5 8ca02970a2e4a9079f679316a432fce6 files/mercury-extras-0.13.0_beta-r1-gcc4.patch 1734
-RMD160 726d87477484042985213b0c59c826a14fc474c7 files/mercury-extras-0.13.0_beta-r1-gcc4.patch 1734
-SHA256 c604ca6fd4b07175230ca59b14bf15f7d7f55a3647d98411b43c4ef295f78229 files/mercury-extras-0.13.0_beta-r1-gcc4.patch 1734
-MD5 a953d57835d38421007a1b867f2df223 files/mercury-extras-0.13.0_beta-r1-odbc.patch 1328
-RMD160 67ce8cbcce6f6f2e9d04d714df967981a162dda7 files/mercury-extras-0.13.0_beta-r1-odbc.patch 1328
-SHA256 f1b30d77068b72c36638687aec1b060c1adea528341e3252297319971b934334 files/mercury-extras-0.13.0_beta-r1-odbc.patch 1328
-MD5 4b4ff5851a45ae76eb7c7efb53ec770d files/mercury-extras-0.13.0_beta-r1-trailed_update.patch 1927
-RMD160 80643d6cc0b83f415629d7c00fee6fc2a40de3cf files/mercury-extras-0.13.0_beta-r1-trailed_update.patch 1927
-SHA256 47cc0bef68e63e5ac5eb22746c8266991c1af41af06d30d8b014a56a095ca079 files/mercury-extras-0.13.0_beta-r1-trailed_update.patch 1927
 MD5 8bb53e1d1cb817c2e86d542f42358df3 files/mercury-extras-0.13.0_beta-references.patch 545
 RMD160 109a113a1f44c3fbd435c8da2af3cec21a79b427 files/mercury-extras-0.13.0_beta-references.patch 545
 SHA256 bada13e7a67e99fbcc0d8e4c0f941dd5ccb7447bb6dc2481977c7bd86c639700 files/mercury-extras-0.13.0_beta-references.patch 545
 MD5 620e3e128fcc5715f0bbc55b9d01431b files/mercury-extras-0.13.0_beta-trailed_update.patch 794
 RMD160 c489347887c247d35736f46248f103ea60930dbb files/mercury-extras-0.13.0_beta-trailed_update.patch 794
 SHA256 8dfa795f9262d5d45661e43d1590ab25978a74154e91626debff48c0d6bfb621 files/mercury-extras-0.13.0_beta-trailed_update.patch 794
-MD5 8ca02970a2e4a9079f679316a432fce6 files/mercury-extras-0.13.0_beta2-gcc4.patch 1734
-RMD160 726d87477484042985213b0c59c826a14fc474c7 files/mercury-extras-0.13.0_beta2-gcc4.patch 1734
-SHA256 c604ca6fd4b07175230ca59b14bf15f7d7f55a3647d98411b43c4ef295f78229 files/mercury-extras-0.13.0_beta2-gcc4.patch 1734
-MD5 a953d57835d38421007a1b867f2df223 files/mercury-extras-0.13.0_beta2-odbc.patch 1328
-RMD160 67ce8cbcce6f6f2e9d04d714df967981a162dda7 files/mercury-extras-0.13.0_beta2-odbc.patch 1328
-SHA256 f1b30d77068b72c36638687aec1b060c1adea528341e3252297319971b934334 files/mercury-extras-0.13.0_beta2-odbc.patch 1328
-MD5 4b4ff5851a45ae76eb7c7efb53ec770d files/mercury-extras-0.13.0_beta2-trailed_update.patch 1927
-RMD160 80643d6cc0b83f415629d7c00fee6fc2a40de3cf files/mercury-extras-0.13.0_beta2-trailed_update.patch 1927
-SHA256 47cc0bef68e63e5ac5eb22746c8266991c1af41af06d30d8b014a56a095ca079 files/mercury-extras-0.13.0_beta2-trailed_update.patch 1927
-MD5 8ca02970a2e4a9079f679316a432fce6 files/mercury-extras-0.13.0_beta3-gcc4.patch 1734
-RMD160 726d87477484042985213b0c59c826a14fc474c7 files/mercury-extras-0.13.0_beta3-gcc4.patch 1734
-SHA256 c604ca6fd4b07175230ca59b14bf15f7d7f55a3647d98411b43c4ef295f78229 files/mercury-extras-0.13.0_beta3-gcc4.patch 1734
-MD5 a953d57835d38421007a1b867f2df223 files/mercury-extras-0.13.0_beta3-odbc.patch 1328
-RMD160 67ce8cbcce6f6f2e9d04d714df967981a162dda7 files/mercury-extras-0.13.0_beta3-odbc.patch 1328
-SHA256 f1b30d77068b72c36638687aec1b060c1adea528341e3252297319971b934334 files/mercury-extras-0.13.0_beta3-odbc.patch 1328
-MD5 4b4ff5851a45ae76eb7c7efb53ec770d files/mercury-extras-0.13.0_beta3-trailed_update.patch 1927
-RMD160 80643d6cc0b83f415629d7c00fee6fc2a40de3cf files/mercury-extras-0.13.0_beta3-trailed_update.patch 1927
-SHA256 47cc0bef68e63e5ac5eb22746c8266991c1af41af06d30d8b014a56a095ca079 files/mercury-extras-0.13.0_beta3-trailed_update.patch 1927
-MD5 0b9db2c291e37973586bef548e6bfbfe files/mercury-extras-0.13.0_beta4-concurrency.patch 348
-RMD160 ef59a85f37c7eec3dc192c533e0912b35d6470ba files/mercury-extras-0.13.0_beta4-concurrency.patch 348
-SHA256 7a0395b70a10f0e769657e86a9ec12d1a9b1ad2a830f1abcfa85ffb51b86ca43 files/mercury-extras-0.13.0_beta4-concurrency.patch 348
-MD5 2e38d1b72337d73e77704bf9ab05b533 files/mercury-extras-0.13.0_beta4-odbc.patch 1339
-RMD160 70b23874a3add6dab7b25949faa85260de46c22d files/mercury-extras-0.13.0_beta4-odbc.patch 1339
-SHA256 da96e81dd3b52feaebe5bbe2ae16ab85fc3a115d74d961a6b2f8a4d84f1ec64c files/mercury-extras-0.13.0_beta4-odbc.patch 1339
-MD5 4b4ff5851a45ae76eb7c7efb53ec770d files/mercury-extras-0.13.0_beta4-trailed_update.patch 1927
-RMD160 80643d6cc0b83f415629d7c00fee6fc2a40de3cf files/mercury-extras-0.13.0_beta4-trailed_update.patch 1927
-SHA256 47cc0bef68e63e5ac5eb22746c8266991c1af41af06d30d8b014a56a095ca079 files/mercury-extras-0.13.0_beta4-trailed_update.patch 1927
 MD5 0b9db2c291e37973586bef548e6bfbfe files/mercury-extras-0.13.0_beta5-concurrency.patch 348
 RMD160 ef59a85f37c7eec3dc192c533e0912b35d6470ba files/mercury-extras-0.13.0_beta5-concurrency.patch 348
 SHA256 7a0395b70a10f0e769657e86a9ec12d1a9b1ad2a830f1abcfa85ffb51b86ca43 files/mercury-extras-0.13.0_beta5-concurrency.patch 348
@@ -133,21 +73,6 @@ SHA256 47cc0bef68e63e5ac5eb22746c8266991c1af41af06d30d8b014a56a095ca079 files/me
 MD5 4fa62b5f6c818eb9a723e3d0df18534a mercury-extras-0.12.2.ebuild 2739
 RMD160 200a8c5d3557610f9100a084d5585d2499cca4cf mercury-extras-0.12.2.ebuild 2739
 SHA256 79b9daa376a3794f279e67d77800b6ee620ebddc038eeb9b0b41fd315bee5501 mercury-extras-0.12.2.ebuild 2739
-MD5 55d2e8f3cd1c6d327a3d6033f64ecc6a mercury-extras-0.13.0_beta-r1.ebuild 3095
-RMD160 fbf3b7f1408efc72066a1c730707a3dadf3cb2ad mercury-extras-0.13.0_beta-r1.ebuild 3095
-SHA256 f39ff9ce83af189b3fd55e760bf5befb6f4691fecae5436a25c8c96d94f79981 mercury-extras-0.13.0_beta-r1.ebuild 3095
-MD5 bdf71a67da1fd463a7bbb9aa41a6042c mercury-extras-0.13.0_beta.ebuild 2846
-RMD160 62ebaeef2a5cc4c8ff29ddfe020530ad45d08927 mercury-extras-0.13.0_beta.ebuild 2846
-SHA256 4379c8ffb157801da863f1a7d22a34f577ad7ef825617dc427cf1594561c80df mercury-extras-0.13.0_beta.ebuild 2846
-MD5 930dd1e0fe5742793441754f3f24cd4d mercury-extras-0.13.0_beta2.ebuild 3218
-RMD160 adbdbcce730443d8ef777e9323ea8f715c0d2d90 mercury-extras-0.13.0_beta2.ebuild 3218
-SHA256 46f05ec8f2c031777d5e8549a329483f58bf6c0b88e1f4f3eaee4a3517e8a41a mercury-extras-0.13.0_beta2.ebuild 3218
-MD5 da9b58811ad99d10ab8daa39409170d9 mercury-extras-0.13.0_beta3.ebuild 3218
-RMD160 266aee50f73e394d76e76695e77193a2d98c9c3f mercury-extras-0.13.0_beta3.ebuild 3218
-SHA256 092bb94c0071a272b69f9b02e03f8064eeb2c2e9a1f0a4a0bc59b738c90712cc mercury-extras-0.13.0_beta3.ebuild 3218
-MD5 20ff5a677cd9b740cb118a28d6c793b8 mercury-extras-0.13.0_beta4.ebuild 3229
-RMD160 81a28df8ea1caad2afe572c2015d4e84c279bf91 mercury-extras-0.13.0_beta4.ebuild 3229
-SHA256 b6e836f6174fa0a7ec219370cb2f654189c8efde7d65542f3417cc319942e791 mercury-extras-0.13.0_beta4.ebuild 3229
 MD5 1934a6baaa719fef10812bab095e6854 mercury-extras-0.13.0_beta5.ebuild 3340
 RMD160 b5ed66824351946eda15e2015c5694003a048946 mercury-extras-0.13.0_beta5.ebuild 3340
 SHA256 ccdec38279080659dd89de68cbbee2dcd3c5964e01d2084602eedee41e5aa535 mercury-extras-0.13.0_beta5.ebuild 3340