diff options
| author |   Alexandre Buisse <nattfodd@gentoo.org> | 2006-07-12 13:21:35 +0000 |
|---|---|---|
| committer | Alexandre Buisse <nattfodd@gentoo.org> | 2006-07-12 13:21:35 +0000 |
| commit | c4af995ea31f265a5e71168696536e54a27f36c3 (patch) | |
| tree | f9c09ef94e821b416a4c4bdd3856aa8732783eac /sci-mathematics/agda/Manifest | |
| parent | QA: Added pcmcia to IUSE, as it is used by linux-mod.eclass. (diff) | |
| download | gentoo-2-c4af995ea31f265a5e71168696536e54a27f36c3.tar.gz gentoo-2-c4af995ea31f265a5e71168696536e54a27f36c3.tar.bz2 gentoo-2-c4af995ea31f265a5e71168696536e54a27f36c3.zip | |
Initial commit
(Portage version: 2.1.1_pre2-r6)
Diffstat (limited to 'sci-mathematics/agda/Manifest')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest new file mode 100644 index 000000000000..8c6245180251 --- /dev/null +++ b/sci-mathematics/agda/Manifest @@ -0,0 +1,24 @@ +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 +SHA256 64f767d1fb3bef2e0b31f13f8ed5764dd3c5ede563c543694946a26ef16e22ee files/50agda-gentoo.el 318 +AUX agda-make_install.patch 549 RMD160 323539535e17244e979f0fd14684f4375e0de4ef SHA1 f7e9a2b633b7c03f305db1210f954f34e5dc4037 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc +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.1-cvs20050601.tar.gz 411993 RMD160 562cd4314f22f8763caa6b1ff025f96924a7fce6 SHA1 a3e19b11bcb43c6e1103ce36d1479d30a4826672 SHA256 75f7efc479f664e0cd12680af40082e93410fc130f9a2881663d54c2853b5814 +EBUILD agda-20050601.ebuild 1259 RMD160 ce3beb06e34a1d8004390118bbec020540411f4b SHA1 a7151eb97f7a65a90743cbd4b86f1dda8607366b SHA256 cb25fd62b428cd914f06e1b041b63ccfd81599c87ea36036873d3e805834a6be +MD5 36de2cc1bc0a0327ccd89fe237468c7d agda-20050601.ebuild 1259 +RMD160 ce3beb06e34a1d8004390118bbec020540411f4b agda-20050601.ebuild 1259 +SHA256 cb25fd62b428cd914f06e1b041b63ccfd81599c87ea36036873d3e805834a6be agda-20050601.ebuild 1259 +MISC ChangeLog 396 RMD160 7d31920b96fb3c82f79abb909e332fb5c3cfddf0 SHA1 9e90945691209617a49ec08cdc1c8a515120d22a SHA256 498bc2624f1bd49b3ee9f074075d0c39cc61597ce65fcda41d7807aa37a1cecf +MD5 1a9a61342e3bef9dd5457111557fed1d ChangeLog 396 +RMD160 7d31920b96fb3c82f79abb909e332fb5c3cfddf0 ChangeLog 396 +SHA256 498bc2624f1bd49b3ee9f074075d0c39cc61597ce65fcda41d7807aa37a1cecf ChangeLog 396 +MISC metadata.xml 262 RMD160 40a79c7a47bf41357031ea3505d676c48f1f1292 SHA1 84fc35c85f916614b3648fbd909dbbbd1c2471a5 SHA256 123f078e162fb42574af32faee9ded61a0986c3eef35a4ce5989953e464e8c0f +MD5 dcf379a33cdc813d247f606073b36244 metadata.xml 262 +RMD160 40a79c7a47bf41357031ea3505d676c48f1f1292 metadata.xml 262 +SHA256 123f078e162fb42574af32faee9ded61a0986c3eef35a4ce5989953e464e8c0f metadata.xml 262 +MD5 377344cb60e6d766fe2bdb430ec8713d files/digest-agda-20050601 262 +RMD160 859ba2a4a74df4afcb9d3870ab69d1820117c953 files/digest-agda-20050601 262 +SHA256 444762b6fc59669cd052cc962fc45deb9e3c85f60fcb11942b8d4c99e10ee342 files/digest-agda-20050601 262 |