diff options
| author |   Michael Sterrett <mr_bones_@gentoo.org> | 2007-07-13 05:28:28 +0000 |
|---|---|---|
| committer | Michael Sterrett <mr_bones_@gentoo.org> | 2007-07-13 05:28:28 +0000 |
| commit | beec5e1da69253750e94619466774ea16eb062e9 (patch) | |
| tree | d04678fdbfd44fbb3d0676cf82c18659aab6f99b /sci-mathematics/agda/Manifest | |
| parent | whitespace (diff) | |
| download | gentoo-2-beec5e1da69253750e94619466774ea16eb062e9.tar.gz gentoo-2-beec5e1da69253750e94619466774ea16eb062e9.tar.bz2 gentoo-2-beec5e1da69253750e94619466774ea16eb062e9.zip | |
whitespace
(Portage version: 2.1.2.9)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/agda/Manifest')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 18 |
1 files changed, 4 insertions, 14 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 1e5c99516648..604c03b08e7f 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -1,6 +1,3 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - AUX 50agda-gentoo.el 318 RMD160 8562741e1705eb87f9409a4b25d19d5c11ed42a2 SHA1 68d46099ad58b0d6617b3479aeece4e618040f5c SHA256 64f767d1fb3bef2e0b31f13f8ed5764dd3c5ede563c543694946a26ef16e22ee MD5 950bd40b72871ca9230771bc5f01ec40 files/50agda-gentoo.el 318 RMD160 8562741e1705eb87f9409a4b25d19d5c11ed42a2 files/50agda-gentoo.el 318 @@ -10,10 +7,10 @@ MD5 2295b9b9d83dd185900ab3b215f2fc6f files/agda-make_install.patch 549 RMD160 323539535e17244e979f0fd14684f4375e0de4ef files/agda-make_install.patch 549 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc files/agda-make_install.patch 549 DIST Agda-1.0.2.tar.gz 505642 RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 SHA1 fffcb8ca8d565e40756cd57035d869a90d2538cc SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1 -EBUILD agda-1.0.2.ebuild 1246 RMD160 ac60d7d24f48a6ef40cf2d2cd6c8f1e178eaf826 SHA1 64743e96a4b965674c7438574c462fb4a192da89 SHA256 c9becc670e30cd01c6a9926ddd81d6dc74e3df81adbcb08ebf54943fc1a985d2 -MD5 c35fcc709341405eb1260fcbe2b83cba agda-1.0.2.ebuild 1246 -RMD160 ac60d7d24f48a6ef40cf2d2cd6c8f1e178eaf826 agda-1.0.2.ebuild 1246 -SHA256 c9becc670e30cd01c6a9926ddd81d6dc74e3df81adbcb08ebf54943fc1a985d2 agda-1.0.2.ebuild 1246 +EBUILD agda-1.0.2.ebuild 1246 RMD160 5f4bb377709d449aa58af4aa1dcbe30805be1bd7 SHA1 2438b49718a49deedf06400b9f77f492bbc831d8 SHA256 7f3fa32f203aa406a7cd90cc939bba3f77f2861baeb87414e4c19ba33652cbff +MD5 9ba686e45be0f63eded30d218cc02b0e agda-1.0.2.ebuild 1246 +RMD160 5f4bb377709d449aa58af4aa1dcbe30805be1bd7 agda-1.0.2.ebuild 1246 +SHA256 7f3fa32f203aa406a7cd90cc939bba3f77f2861baeb87414e4c19ba33652cbff agda-1.0.2.ebuild 1246 MISC ChangeLog 834 RMD160 2f03cae2d1349444ca7c1bbc80e1bd2e6f337b9e SHA1 a5a13a4911e49ff08ef7b16f31c8dd86dba262ac SHA256 745c9fa49c1b5eba1de200729424858950878c73d5317b16fa55fbcd7347c51e MD5 cc8bd02c5c44b821ddf13617915e897e ChangeLog 834 RMD160 2f03cae2d1349444ca7c1bbc80e1bd2e6f337b9e ChangeLog 834 @@ -25,10 +22,3 @@ SHA256 55d1d1a1656caa553d75d22a2313beaac58d4e45a5b2db2682aafc9eba11ac56 metadata MD5 98bd3cd8d24abf74efcf22a2e12cdd71 files/digest-agda-1.0.2 232 RMD160 7dc6661694f20a10fb482b5e6d06627363825de5 files/digest-agda-1.0.2 232 SHA256 240d4bacf5e94ee20d8c3d32e102884aea60f83835a9f73755dfe2afd119db22 files/digest-agda-1.0.2 232 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v1.4.6 (GNU/Linux) - -iD8DBQFGBkXPwx9vvAARv2sRApo4AJ4sexL6GT0fKaSF7AhowRnURgn07ACgtvM1 -qNeJ8QnvDGX8zNExtP36qVQ= -=kZr5 ------END PGP SIGNATURE----- |