diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-11-18 07:49:45 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-11-18 07:49:45 +0000 |
| commit | 2673c6cd4e93aac102a5bcb4faf175e5d621d50e (patch) | |
| tree | 0d008596ddceed12fbe2e9590277fd04aff65e6d /sci-mathematics/agda-executable | |
| parent | Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2 (diff) | |
| download | gentoo-2-2673c6cd4e93aac102a5bcb4faf175e5d621d50e.tar.gz gentoo-2-2673c6cd4e93aac102a5bcb4faf175e5d621d50e.tar.bz2 gentoo-2-2673c6cd4e93aac102a5bcb4faf175e5d621d50e.zip | |
Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with 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-executable')
| -rw-r--r-- | sci-mathematics/agda-executable/Manifest | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/sci-mathematics/agda-executable/Manifest b/sci-mathematics/agda-executable/Manifest index 070c20284da3..945e7f162956 100644 --- a/sci-mathematics/agda-executable/Manifest +++ b/sci-mathematics/agda-executable/Manifest @@ -1,6 +1,17 @@ -DIST Agda-executable-2.3.0.1.tar.gz 1765 SHA256 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST Agda-executable-2.3.0.1.tar.gz 1765 SHA256 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 SHA512 8abdd2739a36a952bb754c069717be70e9fa74b55fc048c2877f7d0c6791a5a8f7944b3b3a97be754fd00431ff94b9f7c6f35f40b8376155952c4b9b414890b2 WHIRLPOOL 84b738ef4fb75d7dcff8c9cc0002509ff2ccc9bdd5e27c04472deed6df960047da907948f7d5e585a5e3e8f6caafc05cf2e25718cd9b575e4cf18a0e1e8cd422 DIST Agda-executable-2.3.0.tar.gz 1764 SHA256 b75ce406ac9343dbc10a221f7552df2d5ddccc8ef38359d33465c02dbe992ad8 +EBUILD agda-executable-2.3.0.1-r1.ebuild 939 SHA256 81af8438b4647a6e6150779fbfb260327355e21ccb81ef97a0088ef257b3820b SHA512 d281e6646adb245097a76e5d5cf3d011b7b41c5f2da7969f14d2a4da6d737d901fa9e2d8820ebd09f93a5db32aa713b10010455c1d9017f0ca745a95fd9d4c9d WHIRLPOOL 37da7203146f86e76194b80b884d9a1234ec765abcffff3ec4651d4299c6692a61d1d9fed3154d75dcf05cff95f058db3cc510045a3f7d825e5df8dff2fc7eec EBUILD agda-executable-2.3.0.1.ebuild 780 SHA256 c4667c5d96c5eb1190e6b1c4abe2971b6ab444a94f5f209376511e026e9fc4d3 SHA512 f92a9e81f59e9ba7b9fe42ef204d7e6c7646bf0ad2a10ba82639249bc13a78126f616e9538658b2b931876b7555befc48b305b40a03c50d5edf8594ea9c239cf WHIRLPOOL efd990749fe01c520ddede769f40b5180e390b1c13d1715c7e2ea12f2978b007cf08e3ca4eacf37f184190de7bfdc3e44fce57228cb5ba91a7308fbd672de6bc EBUILD agda-executable-2.3.0.ebuild 778 SHA256 0281ea20092aa4dd73bf432378209e7fd20b539dd6f3f05e0b09d9f798c61bd5 SHA512 38fac7fd34621cc3141778012efcc436e4e85097411cbc79a10dc40dc5ea91ec6e97c4e286fe34ff2bb1fd2fd0a231c30537c5c0b029b7d22fcd6a7f6f8999cc WHIRLPOOL 23f58859437ec5442b07ba82cebf06ab1af796795b498a76417869bf204196181abfd3ed3c562accbedebe97b0e5a678beea544bb2722afffd65159ad314df82 -MISC ChangeLog 750 SHA256 c27c45003e7bb16c24abdfc07d1c9ccee133988c1bbb60e49d813eea0a7a0adc SHA512 fa25eba3edf6458403a8642b463b2deb1923acbbb589e02dce792a99d0711d388297700785956ab1b6595ed117fb9279ed066b6299031d174f3b0529c425ff32 WHIRLPOOL 1b8dd9a40bb5dbad4266aff7f15ce3aca1599a6733e44aabd92e0fb69ac61bb7fa531e3d5a35299b2af29cfedd3cb245106daf37782a5f983926d3fe5d598eb1 +MISC ChangeLog 956 SHA256 04fc5e8131bec4fe2ff29b62c5309de308559d116d964fbb84bb80cf6ab4352a SHA512 3cb24e0a04d74f95a1823549a6469c90c4730fe37dd777c490153bb7f08de80674e77f358d5afbecea3d5f8ff271628f1ada0a764f4fb16bfa06ae6b99c7c7c0 WHIRLPOOL 39893692757d77c1a52fce2830bbd79ba5c58ea4782727e99d7b60b743cd727c52462e34b00344d773b6fc5cd0fe22df2a39ad6de67c57cfeab2f56161f575b2 MISC metadata.xml 448 SHA256 5e3aedaf07222facb5978ed2def421d74b635e23d66259ea5054abb89c80b6c7 SHA512 1f96c1e7ec2ba6eb0e67e38e8c80cd191dfe07a85a8d6abb85811b5b43093f86792808f41e725eacf97e452d8fcc51489db1b166b2278e420b3d8368a8c6fb8b WHIRLPOOL 710e328314caa829083350c670ef55dc619dab54029c5908bb3183d872a91ca72ff74d2ffd0bd1f4e9d39f2c05faad0d23d05960a51d93541eec2770a7bb8fae +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.19 (GNU/Linux) + +iF4EAREIAAYFAlCokxcACgkQoBEVQmGOlx/RCwD/YsT1uV8D3KKTOOsSpkP89xyH +bW4xTqxaem71nCDgYsYA/0jIG54LuvqEunIrq74o4E2PF+RsVyq+5K22UtZ1s8x9 +=xcnT +-----END PGP SIGNATURE----- |