diff options
| author |   Alexander Vershilov <qnikst@gentoo.org> | 2012-09-12 16:10:52 +0000 |
|---|---|---|
| committer | Alexander Vershilov <qnikst@gentoo.org> | 2012-09-12 16:10:52 +0000 |
| commit | 88ffa74d046fae82f9c22307bd7de8d7329f778e (patch) | |
| tree | 60b21b799a0c2c58b9f39a9c95316e6e52442e4f /sci-mathematics | |
| parent | move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to m... (diff) | |
| download | gentoo-2-88ffa74d046fae82f9c22307bd7de8d7329f778e.tar.gz gentoo-2-88ffa74d046fae82f9c22307bd7de8d7329f778e.tar.bz2 gentoo-2-88ffa74d046fae82f9c22307bd7de8d7329f778e.zip | |
move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to mirror://hackage
(Portage version: 2.2.0_alpha125/cvs/Linux x86_64, unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda-executable/Manifest | 22 |
1 files changed, 6 insertions, 16 deletions
diff --git a/sci-mathematics/agda-executable/Manifest b/sci-mathematics/agda-executable/Manifest index fefd9547df42..070c20284da3 100644 --- a/sci-mathematics/agda-executable/Manifest +++ b/sci-mathematics/agda-executable/Manifest @@ -1,16 +1,6 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 - -DIST Agda-executable-2.3.0.1.tar.gz 1765 RMD160 47de80d448ebceee0e621730f7d1c45fdb068538 SHA1 cacbb5508fb6d870e7ddf7edb8198aa3cda380ef SHA256 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 -DIST Agda-executable-2.3.0.tar.gz 1764 RMD160 39a4420fa9f0402aab972c5be49872bf0d705e3d SHA1 00c1009861e3ac419453c658a4e4488fb844e0a9 SHA256 b75ce406ac9343dbc10a221f7552df2d5ddccc8ef38359d33465c02dbe992ad8 -EBUILD agda-executable-2.3.0.1.ebuild 790 RMD160 092404f897d09abd5650d04d4c24bb2cb1ae31cc SHA1 ad2923ea719219d0cfc86c9709fdbd0b3bd9beeb SHA256 53dc26830f4747b207ffc8a3f701d2848dd2ad0bc39019b4af8f7ba6cf39b989 -EBUILD agda-executable-2.3.0.ebuild 788 RMD160 e6b4753ec8382f64f485883a8141fd26bd450fd4 SHA1 e8650b9e249597524af1caae3f3b74458ec922a2 SHA256 027a786e6c6f61405e254eec41e97a6595e51c8e73227bf5da5a03ae4239a5f9 -MISC ChangeLog 534 RMD160 555826f112c0e938c3d72830df64b87f5238cbac SHA1 ad886470dd32319dddef819f94100056fa577ac5 SHA256 08a1a371c52bdd6ff1fcc5fe485642ea2e1589a98e358ff30a28ae1afe4debea -MISC metadata.xml 448 RMD160 1052bf58a1666d8eee400a09194a7ab4cf80ab09 SHA1 3e70b33405eb43387da13d7fffdff9ca9bf3bc25 SHA256 5e3aedaf07222facb5978ed2def421d74b635e23d66259ea5054abb89c80b6c7 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.17 (GNU/Linux) - -iF4EAREIAAYFAk9vJxwACgkQoBEVQmGOlx/EOAD+OvQeCKJ7yg++1UYxsxDOJxcr -6TvQZ0Yr1uA003Jv9mcA/0WFbx3EqxVo6V0RWRy0kX7U0L63yIhzRN1tRqI/PcUW -=y52+ ------END PGP SIGNATURE----- +DIST Agda-executable-2.3.0.1.tar.gz 1765 SHA256 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 +DIST Agda-executable-2.3.0.tar.gz 1764 SHA256 b75ce406ac9343dbc10a221f7552df2d5ddccc8ef38359d33465c02dbe992ad8 +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 metadata.xml 448 SHA256 5e3aedaf07222facb5978ed2def421d74b635e23d66259ea5054abb89c80b6c7 SHA512 1f96c1e7ec2ba6eb0e67e38e8c80cd191dfe07a85a8d6abb85811b5b43093f86792808f41e725eacf97e452d8fcc51489db1b166b2278e420b3d8368a8c6fb8b WHIRLPOOL 710e328314caa829083350c670ef55dc619dab54029c5908bb3183d872a91ca72ff74d2ffd0bd1f4e9d39f2c05faad0d23d05960a51d93541eec2770a7bb8fae |