diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-03-25 14:02:39 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-03-25 14:02:39 +0000 |
| commit | 6b47848dbe3d9327db8ad088b4013619a16de657 (patch) | |
| tree | 09e2ca5a6d9803ab2c6fb4671461bc74317ff34d /sci-mathematics | |
| parent | Thanks to tomprince for adding support for agda-stdlib. (diff) | |
| download | gentoo-2-6b47848dbe3d9327db8ad088b4013619a16de657.tar.gz gentoo-2-6b47848dbe3d9327db8ad088b4013619a16de657.tar.bz2 gentoo-2-6b47848dbe3d9327db8ad088b4013619a16de657.zip | |
Thanks to tomprince for adding support for agda-stdlib.
(Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest new file mode 100644 index 000000000000..f557244de2bc --- /dev/null +++ b/sci-mathematics/agda-stdlib/Manifest @@ -0,0 +1,15 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +AUX 50agda-stdlib-gentoo.el 58 RMD160 4567b06e4a57c233ba86ccaa9af70e9d58d99f9b SHA1 690899aaa39138984dabea4ba361c481609c5d0e SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 +DIST agda-stdlib-0.6.tar.gz 216273 RMD160 458c2f9606ddd8f9103fcc81d8e5c1acaa682fd0 SHA1 cd822c4b504415d42f584f970732474231a3239f SHA256 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 +EBUILD agda-stdlib-0.6.ebuild 1074 RMD160 b7d01454daeaacb7631a9e57090ecc89bbb05dd4 SHA1 605e8751e9b7295144a96c0186d96618aba5836f SHA256 884f19becdb5b262ff85d572dbc4561e6bd9e8f867c078ca04af9adc8c3ccfea +MISC ChangeLog 439 RMD160 6c42b41e88c60b0fbc97293ed4ba5f4e1a2f4f44 SHA1 5aa812e7842c2bffd0ae801c8ea0750a21fe17aa SHA256 cd1c744bb4828d4814a382823949d276404069f741ada25b9c22d86d6b8f0a0d +MISC metadata.xml 265 RMD160 9117bb847954467bc465dad80bbb756fad334780 SHA1 9e90d89f35d06796299759c989174d8ed0940b87 SHA256 35355d6fc62fde1ba81f075b068817cfeb813a969c7de1470a6f8bd132b5b459 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.17 (GNU/Linux) + +iF4EAREIAAYFAk9vJXcACgkQoBEVQmGOlx8ULwEAymTwYK5KzHafAyOv/zsQYs+p +vLf55t6VQmbwZAAetwcA+gPSKcu5Yy6xhz50Ro3iUkROAE6r/pyibs4AeVEh6Jtv +=XBw+ +-----END PGP SIGNATURE----- |