diff options
| author |   Lennart Kolmodin <kolmodin@gentoo.org> | 2010-11-20 13:45:24 +0000 |
|---|---|---|
| committer | Lennart Kolmodin <kolmodin@gentoo.org> | 2010-11-20 13:45:24 +0000 |
| commit | badab09942de0845d0b5cc12498df85d376b209f (patch) | |
| tree | d3973fa16a62dba77a63f3df12df095a5d9c5bed /sci-mathematics | |
| parent | Make sure the agda library gets registered with ghc. (diff) | |
| download | gentoo-2-badab09942de0845d0b5cc12498df85d376b209f.tar.gz gentoo-2-badab09942de0845d0b5cc12498df85d376b209f.tar.bz2 gentoo-2-badab09942de0845d0b5cc12498df85d376b209f.zip | |
Make sure the agda library gets registered with ghc.
(Portage version: 2.1.8.3/cvs/Linux x86_64)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index f75f1c959447..ff258df9a5f5 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -9,13 +9,13 @@ AUX agda-make_install.patch 549 RMD160 323539535e17244e979f0fd14684f4375e0de4ef 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 EBUILD agda-1.0.2-r2.ebuild 1234 RMD160 548f429956b77cf1514b6b8b7cbe1d48bf2966d8 SHA1 970eaae13da56585a9c2fb5d96be5162405b17fb SHA256 f5e5b1f82c4197d1fd820a54e9273c48074229bf0dd75a78f1ac11d2c744c48b -EBUILD agda-2.2.6.ebuild 1347 RMD160 493a6f4a352f0d0daef9bd73dbb04933961380c1 SHA1 72f06863861c00f9cc3f049d6ca7f9bc1838689f SHA256 f81b89a30f35d8a6dee2857c654dc6739a8d5eab36db17f911001d813026a67f -MISC ChangeLog 2151 RMD160 47110f90996b0c46f29ba441cb7bee44a7933c7e SHA1 4643e0279f8cb28fdd8e2d95fd22b25af3a54612 SHA256 027f14bb02a84063bbddbde98fc65128b187825fc7050fb7f1e4324042c0590e +EBUILD agda-2.2.6-r1.ebuild 1350 RMD160 39158bf9155e5b46bce03ad1520b803829d6bd7f SHA1 40b51ac6f2b6f6ad88e98aafcdfc98487dd3cc94 SHA256 3d17da7d37b43cfe8f3fb3391d226bb33e9323330d52091027a89b2e1be0922c +MISC ChangeLog 2365 RMD160 cd0db7d9f6ddf9f6ad251d3ac6ecf401b85f153a SHA1 d72f4c0fc6f440b5aea13b1a08a793a79fcd33d7 SHA256 2cc020cae3bf3e8dd8d730b45218eac66afab3682cde07700139ea3c5dab093a MISC metadata.xml 534 RMD160 0441029b6e1a3409af8ae8dc66ce2b6bb13cea6c SHA1 018fada115cd6275c73c53cbb929be2857dd9024 SHA256 4b2301380c3d5573d7a34753fd9191a558783e2a5a1de759780dd96fc9d9c42c -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.16 (GNU/Linux) -iEYEARECAAYFAkyP0tgACgkQ1ycZbhPLE2D0HwCeIlpUAIy+/BUy2dAeLbEh0aZ5 -HY8An1SsnE0d/eDZew6617p1jp2Z6WEA -=Qx5T +iEYEARECAAYFAkzn0OEACgkQ1n/CYbXjntKlGQCbBdmOBBhA+9dH2knzhHMRbB6N +gN4An3ZhN6ewJ8UsokkrZutn4xQSE4+M +=ZfNq -----END PGP SIGNATURE----- |