diff options
| author |   Patrick Lauer <patrick@gentoo.org> | 2015-01-29 03:39:10 +0000 |
|---|---|---|
| committer | Patrick Lauer <patrick@gentoo.org> | 2015-01-29 03:39:10 +0000 |
| commit | d57c58a9131fbf85193b45250760c82eeba72035 (patch) | |
| tree | 3c2f3cbcdeaeacace9b739e3ddca79355db32e1b /sci-mathematics/agda | |
| parent | Drop old with now unsatisfied dep on dev-haskell/hashtables (diff) | |
| download | gentoo-2-d57c58a9131fbf85193b45250760c82eeba72035.tar.gz gentoo-2-d57c58a9131fbf85193b45250760c82eeba72035.tar.bz2 gentoo-2-d57c58a9131fbf85193b45250760c82eeba72035.zip | |
Drop old with now unsatisfied dep on dev-haskell/hashtables
(Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index ebb57d34aa52..e9c331ecf5ee 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -1,6 +1,3 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 - AUX 50agda2-gentoo.el 317 SHA256 043797b8766a610c08a5aa10b4ea46b955f208b851f0baea4ba4dbff74fb3417 SHA512 55b7438896cb66b4b32b0ba0d9468bb2496df1f63a78f3f4b4e19cc038018605c9cbd7880d2be1b40d6d1509ac6df20304cdc8c2ccde69e89777acfc65a1ce8e WHIRLPOOL cba0b37c78d2e409081f90d7d68a2b5c21ad8cb79f51ff364c8ee9107c9f42a229d60b195a984acfcc45a9638b04bac0371e9eea4ef2bde1680983a85832329a 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 @@ -10,27 +7,15 @@ AUX agda-2.3.0.1-quickcheck-2.5.patch 1308 SHA256 a07adba140a81eb76042a7f985b2cb AUX agda-2.3.2-hashable-1.2.patch 2010 SHA256 8ed826fb6c7420274d1e31d2abc680d2d6419c7ef9a474cec0b79a12d4feae5e SHA512 b35bc500c94708241d46f5c9bcd78008d8de83a6d5d59784eac27fb4a0426a7a2c623dce1dfc1209b80bc73ff92c07a462d36e403826033c7c87ea828c1efda2 WHIRLPOOL beaab8e5301baa4bb222166998e92ca4cb7acd11b75d6656f0b22707b4c0e4f6b98217a7ff43aaa41aed75ee2719a4a64338a360f461ff1580d3954d4e0cd518 AUX agda-2.3.2.1-haskell-src-exts-1.14.patch 1402 SHA256 9574b8ab4428770347743f67caad84549171efcbf772fad2d368fb8f0bcc972b SHA512 4049478b97cb330766107055bb0f47f7b46b5587f66393a0e0045eb2f8822945b4c32b56a4563903004c37299ab8067f1cff5ccbc801aadf2f347739b6409446 WHIRLPOOL 6ddd946b130bb9a1ba87730d5916c7fdc5875d7248bab839cff4062a392a971fb33a0d1b3fe0171cf13f7e7d604c3d86f84efb6196272743139a1dd3256d0c0c AUX agda-make_install.patch 549 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc SHA512 28ca830797ecfddf50fa0f3cedd8eebd5a0c1f974749440bb793d597736da2bbb42217b80e25230b941814bca233469b5909471cfa70c4b7fc659a46d7c43d1c WHIRLPOOL 40a5f18241e4b9df5a1997f342eae5f292019a14e222d8ad792f632b3f33c0c2929959ed705514ef94968e022cc3eadf109c24c891bbfdc9b33568318838f472 -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 DIST Agda-2.4.0.1.tar.gz 906887 SHA256 58e678b9d193e19d4e69d8899129d9ae16df08a394873af850797f03cc2cbe86 SHA512 edd56ecea83241f3cb1aca4ac1e17970acf122c323a4ff38e2b5d8e46e46b1afd90fbbd460a6674a51cbb13a7cbf3a57b489e91a92ce3e709b2fc3d659013601 WHIRLPOOL 4e94c4277e8be99bd5a513c274fd5712f1d4a3e99d1e626a3b195b9cf83f9216de62220cfb5e8298cc0f11560a9c32dc0116db3bd67c2240842fa798f733065c DIST Agda-2.4.2.2.tar.gz 963302 SHA256 2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3 SHA512 62376775255099570d9eb7814de77a239d0806669ee0993283429a400c7c45ca756c6735bab85b4d3a4b82defae544364ac9107fd622f2df1ebcbded3113204d WHIRLPOOL dd220346109b7e137cca2e3b091c581b0b4ed0e23340209c7eebc48b39d807a569c984fbe1aee813d18a7f953db86e82b6a6aa7e197e6a2c5569dc311625f45f -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.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 4077 SHA256 4b790f003834b263fad07cd465b34683176bfff71fbbe70d029d1793d44c17e2 SHA512 a2a90795a135d8f816ebf43852dfcabbf784724b7299a82015c12cfae75c667b38447982bb4c658547af66d43226d50a2ee8e8a83525ff512ce94f85d9712087 WHIRLPOOL 9f5836713c9f8e5382d0a85e5194c15695a03373adc2c377c07d1c95192f88e10de6f11ce98a55ffa8836f0a2884cd1431273b2a15bfe13fe2cb1745a3b3d910 -EBUILD agda-2.3.2.ebuild 2856 SHA256 77a5282ce1dd12925eeee78d18bfb9ee6e20b5382aa8c239579eac34f688f46e SHA512 51eb52b98785ad93ff64b6b33e882c3970b46c99db6c57df053a858c20b260fb16068dc7be085743b45bd694252b0dcc5f5902213377504dd943ffc08f878ab5 WHIRLPOOL 03f712b15fe561c71d78fc991389e78a8f43b9c8fdbf84c0ae5953041a49ce8ecefeb2bb6297f6a2bc5f90592434f0e525803f79e824b3533be943c8947313d8 EBUILD agda-2.4.0.1.ebuild 4386 SHA256 fe1cc06c30afb221c059e8b44d2e59d3aaf90c4cb8edefa8c61cdfbc500de4ef SHA512 e66376b1dfa40d0bc1ec9fed9745c289d305831ced6aa3c72a26590085a61ea7af95a5b1b20890e61948271a999c0a1a0f3b63f8f790630ddf1e7aa77ac02c1c WHIRLPOOL e2db7d306e68c354bdd2242409e92057e796b4d6f3dfb5d39c84db50fb29f982e56a86c2bf00a8326a4e1d128d0f8d67de2ba89b00258ba3349265465535a4c7 EBUILD agda-2.4.2.2-r1.ebuild 4608 SHA256 6f5dcab3c4fa44564a2ba4d75af2fb2bf30af9e1b7d0ecb24e6171352a08b73c SHA512 80b17b48a05938d891247112a62213de38f53b71529f093ff6b1836869b1d728286b2769dd8378c91386afae3b86170162a4e1a005739aa67dd3c45f07547f8c WHIRLPOOL ce0aa1936abc1c169c287c7de41d0d3c4c3bfb7ed17e5712decf651ba31b0c74d17d6d100f2b7f938cc27dbdff3004967a18adb98beb4b3d0e131de479802253 -MISC ChangeLog 5481 SHA256 0c2aabeeb5dc76cab6f1487c80f355d98d8bd4095eb987d0833dfb8ad5757651 SHA512 153fa595ff2f4217040248ebb3e87667213dc65402bcd51a2357d630671fae1fe1606070aed26be32f5c50b1d4b9d62f6105aec0fee2c8bb2c6f60d8b32f9653 WHIRLPOOL 1c0867aad506dd6bb0bad5ced1c27d8ee742af8e174cebc0dd8c07bb9f9857e017e91c3d2bffd83a3c50ee073ff605a3b3eca5ce953be0228cb5473d46dc92bf +MISC ChangeLog 5687 SHA256 6cf1ef0f85a5e746c62ab5d5f429ecdcb316ff5d150293d78bd9712138e2acbc SHA512 1f4dbd71c1b4ef2dddbfa6fe562320f1be1dfd394d3b4ca5de555507258d16fd9c8e982c2c55f6beec1852aa26d043e254946a30d9d6d2bdf7ee596549a6df8c WHIRLPOOL 1b91ca511b8a53173789514b58c56a49dfd2d7905bd63508e64167f146d8921d112d1bb59dd8841e7b3766ff390146affa16e2d24f93d3e56ba5a2f0e09d965c MISC metadata.xml 722 SHA256 0cc8c249a5a5457e5a91f4e7d0bffedb026b0990542a88b4c4ab39254e8d8426 SHA512 610076e344a59f9ee6d88671588df43a8dbfe47ea8021c1a35077277fe25de978f7fbc9d3318e1bc64173d2f4c7f449c2dafbd020ad224c8ea678c0098f9d00e WHIRLPOOL b5369e61aba1458a8f2e9e544eab067865bc33165b99f077bebfb8e7747472df4135947ff9bf3d5123cd861c734486f0f1a0957e03b952e02af594e89861a81f ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2 - -iF4EAREIAAYFAlSNZX8ACgkQoBEVQmGOlx/6XAD/cD3owg52unRKlRMNHIKxDi9r -fCrr7qx0GNw8Awu+RacA/0nY4sbMVJLNUIZuGY9D6uSTGvLlfRRKCssC4PHZrIme -=WT8o ------END PGP SIGNATURE----- |