diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-10-19 11:07:52 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-10-19 11:07:52 +0000 |
| commit | 945ef978a53cc62fa9a8bf87e6e6c788516d8f47 (patch) | |
| tree | 4472193ae8909ce46f446942fce0939d4552ab39 /sci-mathematics/agda | |
| parent | Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, f... (diff) | |
| download | gentoo-2-945ef978a53cc62fa9a8bf87e6e6c788516d8f47.tar.gz gentoo-2-945ef978a53cc62fa9a8bf87e6e6c788516d8f47.tar.bz2 gentoo-2-945ef978a53cc62fa9a8bf87e6e6c788516d8f47.zip | |
Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND.
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index f64b64e96467..df5d83c8209b 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -24,14 +24,14 @@ EBUILD agda-2.3.0.1-r1.ebuild 2682 SHA256 de467510990469f26662ab8167bd02dd7540d5 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 3360 SHA256 c57933aad95928f899898bbc3266ca775d1ec658bb5d18eaa1df900b882cbbde SHA512 a360047e2b16ec314dea5ec6a2b305868ccc6c218dda2a56ceb138a46ba228fb2c501eb521d30153c13f1cbc137c8759d37134649dd90343cfd276a2929c634c WHIRLPOOL 4986624c7b1638e447bb7c0570befe5e7fd50337912c74116dbc5667f4178399fed7b86305fde00ba77bb7f63337ffbabaa682142d662a60db5325424e88a6df +EBUILD agda-2.3.2.1-r1.ebuild 3542 SHA256 9a23522d71b6b626ecf5db668da05b1f9be8efb6ebec286c9450db02b095f6c3 SHA512 cc9fad306e9ce4cb56b52885d680283c3741442612e373ecf059f5ef574c69c6dc1cc65969e4ade7fb073919872682f13639f4b417cc06ed58fb28e5f03e0f9e WHIRLPOOL 529b37ef254e50fd9ba99b25993794f30fab2610474bda8232246f3eea21a913c267a43577b016de2c476afa756553bfb3403f1247964fe74147c693be2d636e EBUILD agda-2.3.2.ebuild 2856 SHA256 77a5282ce1dd12925eeee78d18bfb9ee6e20b5382aa8c239579eac34f688f46e SHA512 51eb52b98785ad93ff64b6b33e882c3970b46c99db6c57df053a858c20b260fb16068dc7be085743b45bd694252b0dcc5f5902213377504dd943ffc08f878ab5 WHIRLPOOL 03f712b15fe561c71d78fc991389e78a8f43b9c8fdbf84c0ae5953041a49ce8ecefeb2bb6297f6a2bc5f90592434f0e525803f79e824b3533be943c8947313d8 -MISC ChangeLog 4605 SHA256 98163930c1fc851395e3335a7a287e7156493a1e7d118064fb73156662a7f404 SHA512 abf6e9d9628fe03d0f77794612575c58a00d2e8634dd7261abf83f513af4d53e520794933028fa044ec0af1570f82491ec9d598198dff9e3a4324849fba3ca53 WHIRLPOOL da07dac216a3aba1ee3a33f35e0f9f206eb761c93395c0edf3293d23966f8857d91d74b3751bf22156a3cb4acfb18c77777963ae9f7fd36f52df152612137035 +MISC ChangeLog 4842 SHA256 14e006a74441eacaa8cbc6c3ea4e9624fe347b0f3515ae5754b9d1715ff943c0 SHA512 224b0593d3e85d6b3b2c509920266e0275e46b92e9d5053b046389de24675283f6d38f40164c2bf0e749e2b9da8166d105f4b0e582d1fa726d1521e008e13f1f WHIRLPOOL 3af56be7aafef13e00e50f35d17684cd1677eaea9f2b436db47a8805588f4326d2ce4887878d4813838ecce006fdc49106289d4e8189d4a32d6cb00b46ff14c6 MISC metadata.xml 668 SHA256 165c4a13bd018ab925d952bbcc5bfbb90fc3e52a48c0826d15002a0b4f5857d8 SHA512 fffd98368697b3975d1d7dee5947f01195ec3706b511aa5a3ed38aea167d1cd87cb278ca62d9fcf0afce28d8da13dc831d9fe0b0c02c4fc31ced44485e272237 WHIRLPOOL a20fc3187a93fe6e5d8f6639d27faa3632746e81e46a7f40be2bcc3f7e47008c0d2a3978e8eb0f90bd692d166aa3208ca482182d451f781a3fc124dd79d6b9e4 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.20 (GNU/Linux) +Version: GnuPG v2.0.22 (GNU/Linux) -iF4EAREIAAYFAlIytv8ACgkQoBEVQmGOlx9CRQD/ePx/CTbPhendZmf8E4HKleIg -Wz7xMixNQZ5lNLxfJYUBAJqnMb8BEr9a1gYUxxK8AOcAR4Oug9QlWVazPw3vrldl -=SRkR +iF4EAREIAAYFAlJiZyQACgkQoBEVQmGOlx9bJQEAizJ/OvpGErSHEfvdyjGovHYr +F4iyk2Py8GYsEUIi3h4BAIG3dGSzMwQgTU15oxfKsIXq0xzIyHvqySIBmefhSLil +=WmJc -----END PGP SIGNATURE----- |