diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-11-18 07:53:11 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-11-18 07:53:11 +0000 |
| commit | ca8d5a0e9c509b6bea6e680ce5a371ed6f83f99f (patch) | |
| tree | 6cde957893537789c295bc6a02529852c38466e9 /sci-mathematics/agda-stdlib | |
| parent | Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118... (diff) | |
| download | gentoo-2-ca8d5a0e9c509b6bea6e680ce5a371ed6f83f99f.tar.gz gentoo-2-ca8d5a0e9c509b6bea6e680ce5a371ed6f83f99f.tar.bz2 gentoo-2-ca8d5a0e9c509b6bea6e680ce5a371ed6f83f99f.zip | |
Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118 because I have to call it something, for agda 2.3.2.
(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/agda-stdlib')
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index f557244de2bc..fb369520b0ca 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -1,15 +1,17 @@ -----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 +AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd WHIRLPOOL b03e7359f9576887f35167b208cb9e6c4b599afa9bf963a51fbd8b1c13d636b56d2b20d769a78f567f1c9f956e048185eb5dd45b6281931e1e0cb04d11b6adce +DIST agda-stdlib-0.6.tar.gz 216273 SHA256 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 SHA512 38900674cc95deec87fd5a61843904e05ea256b89401741d7e2673801953f87fdb5b97e0972b2dfd74195c7a85121db0e7abebb69808227f85ecd8ac6702e6cf WHIRLPOOL 7decc6a7a35221954c7affbb595ec14ca9a079db2e6f7ac582e2b6834f6b345bc63a1162a2a5a3b9c8012ea200ad419c723544c04d4757e207d51819d083ed6b +DIST agda-stdlib-0.7_pre20121118.tar.gz 217329 SHA256 72bcced26d7d31e83cadfc9f696fa361ffe2f7c7e7cd1a13813501522edb3706 SHA512 4d6ab0e2f3f84353c4cf00209ddee19ad860977d573d5ebb7ec212c6c0f52bfec790424d84b94e726edee8c785d3c9d262ef46b4475ecd39961e854831b72546 WHIRLPOOL dc384fc7d9204b13e4a7b6435a56c8c4a2e6d65e035a704899e962da38ccabb23b410649247ab3f62530c81b469f37caba28eb99b59e03f1e220b34a48e9554b +EBUILD agda-stdlib-0.6.ebuild 1074 SHA256 884f19becdb5b262ff85d572dbc4561e6bd9e8f867c078ca04af9adc8c3ccfea SHA512 eb49ff9f3cfa17738a2ecef44ddd4072527e79cff35aa83c28f8c556e76e44e78d57edb60eac5c7b285adfdc6c56f116f1da5ffc6451265c4175caf9e8bc1d93 WHIRLPOOL 514464809a7fef29280973e22c4e8467092cf48cc6461ffb912ef41e0f1720a6ee8efcf02a2e56622fd3d334a1b6f455d573a95483a02c39dc410bf6c24c2f27 +EBUILD agda-stdlib-0.7_pre20121118.ebuild 1743 SHA256 de072cb8b3ed7f44c7f0da16a0335d8e1d2b48c711276a751a18b099dbf3193c SHA512 2a6f65a69d059a2ce489cd914a73f6d0f925b29517f2c1ff2be94b60c8d278aad9248d0867749c3e97f1c1ff01c2b18e94a2b52169063646c636c6209e3177dd WHIRLPOOL 28c595a0b4d3fd03a2cfd0f455ea3d65362ddc0c966433fdeca5efe87fc87009e1d153e6fb916dcb8df24de050719e37d5a50118a97811dd9f7175f5a5eec153 +MISC ChangeLog 704 SHA256 bfde130b81902de5ff5f3e6e6ba45d95c21928954866c1cb4aea57bc26def9be SHA512 1ef7835e8a3b5b6378ad9918e05a4eb3ba88490fec3fdff67b13fb143e205b9aebfb32fb599b3c4fc6b0562efb87abf24cdba912ad02f1a0de8891b2bf8f6765 WHIRLPOOL 6904147ef815cbcfcc8faa32257b4ed0a1deebea3e654a76a4218e03c11db971cfa83de8a441b0de996c5549b7b164c1affeb8db7ceff992568de1683ab7ae72 +MISC metadata.xml 265 SHA256 35355d6fc62fde1ba81f075b068817cfeb813a969c7de1470a6f8bd132b5b459 SHA512 775cb59dc26f638adf310c58772de51faaede29cdc4f672ae2d7ecf2b997b1d2a5631773b5038fa8f061b972d4bfdf8f6a467a3cb705ea08afbbd065629a28dd WHIRLPOOL 5227c13a1f5c6be977d7cda80b4bb4ea26dbbed5710a1c2016242e74ae447563b44ee6eb61927b7c29ccaa4c854feff5342792c2a2592655c619371ed4ceb4d1 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.17 (GNU/Linux) +Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAk9vJXcACgkQoBEVQmGOlx8ULwEAymTwYK5KzHafAyOv/zsQYs+p -vLf55t6VQmbwZAAetwcA+gPSKcu5Yy6xhz50Ro3iUkROAE6r/pyibs4AeVEh6Jtv -=XBw+ +iF4EAREIAAYFAlCok+UACgkQoBEVQmGOlx8S4QD/bUFYK+cmdfp6yeqTUq4r449w +RnMzaJrRRAvz73vOXvgBAN23AOn73ykMJrUGGLEeSPfudlcpwP7mYk4YSERUYLLd +=XRIE -----END PGP SIGNATURE----- |