diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-01-23 10:04:57 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-01-23 10:04:57 +0000 |
| commit | cc7fd5c34229004a6ee9b20d2730741973bf3cc6 (patch) | |
| tree | b6cef6df959d36a01e22f9424ee47a6556d056ea /dev-haskell | |
| parent | Add hashtables for sci-mathematics/agda-2.3.0. (diff) | |
| download | gentoo-2-cc7fd5c34229004a6ee9b20d2730741973bf3cc6.tar.gz gentoo-2-cc7fd5c34229004a6ee9b20d2730741973bf3cc6.tar.bz2 gentoo-2-cc7fd5c34229004a6ee9b20d2730741973bf3cc6.zip | |
Add hashtables for sci-mathematics/agda-2.3.0.
(Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'dev-haskell')
| -rw-r--r-- | dev-haskell/hashtables/Manifest | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/dev-haskell/hashtables/Manifest b/dev-haskell/hashtables/Manifest new file mode 100644 index 000000000000..0c0e74c8d409 --- /dev/null +++ b/dev-haskell/hashtables/Manifest @@ -0,0 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST hashtables-1.0.1.2.tar.gz 36210 RMD160 a7bc4f75d2ff1b29684375f816fb778e3cec3368 SHA1 9acefe06149a248f56f75d1763e19557872dfd15 SHA256 87efc3b6906da800f9d63f061e52005a0079da06dc987deacb7043ca3b8f9b26 +EBUILD hashtables-1.0.1.2.ebuild 750 RMD160 a1542a8ba5705c1d8b0b5c5308404995c6db840a SHA1 4aefe1011a2405ae54e5f044075d11a31a709331 SHA256 a27689f3b708b2df0ed3bde30d56988696bf586cb928b3fedc7087ec89909697 +MISC ChangeLog 394 RMD160 7aece457af2e2a0989aa25b8c820f24b8f1fdf73 SHA1 23322571bb92195b6a53ce600fb37d13a7f0dbfd SHA256 ae7f6f8fd26857760184ce76be8537549a71466dec7b43fd289b22d5ed0e5f1e +MISC metadata.xml 4645 RMD160 6127d5c11bad874e73ecea7979d49bea6edd6dd7 SHA1 f9e5289b915304960d17c0498387c5c86808acfc SHA256 3ea728391dafce5261ca8a0349f4d98bbb060fd80c93ab9b803061d22ee52870 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.17 (GNU/Linux) + +iF4EAREIAAYFAk8dMMIACgkQoBEVQmGOlx9gwgD+K5OHjhAvzm4IVf9QL/mclU4T +GZrWAyfOWD31Z0RJ7u0A/3KuA9U0/jjX1A/7qmwKq/mHfJjQFAxD4n+A/dL1D2dv +=NeWV +-----END PGP SIGNATURE----- |