diff options
| author |   Duncan Coutts <dcoutts@gentoo.org> | 2007-10-31 13:28:31 +0000 |
|---|---|---|
| committer | Duncan Coutts <dcoutts@gentoo.org> | 2007-10-31 13:28:31 +0000 |
| commit | 5b5948faa91e194ecaa6ef4428164fae982952b7 (patch) | |
| tree | 1e47a4db9d608de6702f80ff10e926af420fce88 /sci-mathematics/agda | |
| parent | Drop virtual/ghc in favour of dev-lang/ghc (diff) | |
| download | gentoo-2-5b5948faa91e194ecaa6ef4428164fae982952b7.tar.gz gentoo-2-5b5948faa91e194ecaa6ef4428164fae982952b7.tar.bz2 gentoo-2-5b5948faa91e194ecaa6ef4428164fae982952b7.zip | |
Drop virtual/ghc in favour of dev-lang/ghc
(Portage version: 2.1.3.16)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 9a7487bedf08..128d2f559d5d 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -10,18 +10,18 @@ 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-r1.ebuild 1282 RMD160 4937e88280dcb3858dafef85289a635ff246a435 SHA1 2c20542bdf0312e259d4cc4657b1aa95573c27b0 SHA256 6d926cefc98ace0484771e990d271cf2d8c59adeed391b00214ae312b555d0fe -MD5 fd06abcf7e4cbbddca15dcb5c7fe9613 agda-1.0.2-r1.ebuild 1282 -RMD160 4937e88280dcb3858dafef85289a635ff246a435 agda-1.0.2-r1.ebuild 1282 -SHA256 6d926cefc98ace0484771e990d271cf2d8c59adeed391b00214ae312b555d0fe agda-1.0.2-r1.ebuild 1282 -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 1136 RMD160 a1e19b7c374e5ab063c1cd40cfc5bfc10bbe51e6 SHA1 2a9767fe367e46b97af60174a96f6d507e3669db SHA256 c19a83e164a64f9eaf35d6b9494194948f7dddefe7181bc17c19176898483098 -MD5 782cfed916afd62f2146d7578b72a3ba ChangeLog 1136 -RMD160 a1e19b7c374e5ab063c1cd40cfc5bfc10bbe51e6 ChangeLog 1136 -SHA256 c19a83e164a64f9eaf35d6b9494194948f7dddefe7181bc17c19176898483098 ChangeLog 1136 +EBUILD agda-1.0.2-r1.ebuild 1285 RMD160 282b7f62244a136273ef7edbf8a6b05d4b63b2c2 SHA1 a72b9421dd3756a06af6eed93820a241a9eb4ce4 SHA256 a6036be01e8148834ccc86963c3390732d9a68ff9bd180e8f9e38cac58756c58 +MD5 97b6f8fa5058c7570d20b4d7f34d1055 agda-1.0.2-r1.ebuild 1285 +RMD160 282b7f62244a136273ef7edbf8a6b05d4b63b2c2 agda-1.0.2-r1.ebuild 1285 +SHA256 a6036be01e8148834ccc86963c3390732d9a68ff9bd180e8f9e38cac58756c58 agda-1.0.2-r1.ebuild 1285 +EBUILD agda-1.0.2.ebuild 1245 RMD160 e65efea922b05c1ddf0281a8077bc0be96ee0c71 SHA1 62b40aac8116625bdcf8c482d5d5e1bf93a246bc SHA256 d70fbd56c5c93165803da219e6b09553ee3fdd5bb2798302ee94a3a9a537e2e8 +MD5 af0a8cb91863c2a596b56032035f7229 agda-1.0.2.ebuild 1245 +RMD160 e65efea922b05c1ddf0281a8077bc0be96ee0c71 agda-1.0.2.ebuild 1245 +SHA256 d70fbd56c5c93165803da219e6b09553ee3fdd5bb2798302ee94a3a9a537e2e8 agda-1.0.2.ebuild 1245 +MISC ChangeLog 1277 RMD160 6999fe3cff33bc83a740ffaaa2509c89f6c0a7ba SHA1 7f4ac3f183bde11fb0b4ed0611ef14ac9774e12f SHA256 a671c0f5447f5608c671f1f1c72b287e20c9e3d8b49e657a19720b6c201f82f2 +MD5 4c988af0834f4dd4440b5ab5a65a8084 ChangeLog 1277 +RMD160 6999fe3cff33bc83a740ffaaa2509c89f6c0a7ba ChangeLog 1277 +SHA256 a671c0f5447f5608c671f1f1c72b287e20c9e3d8b49e657a19720b6c201f82f2 ChangeLog 1277 MISC metadata.xml 179 RMD160 df489a6cad85f0b92f9766fa51d3ba4400889b4c SHA1 a70f1537d568405a6cae08cc53c80176bf307c84 SHA256 314c17b2733c7282a7ce0f60bbb5d36aaebd67fa7f76fe45535c4d7073178dd0 MD5 fa44c10a8d0f5cb4a3ebf987c8ac04c3 metadata.xml 179 RMD160 df489a6cad85f0b92f9766fa51d3ba4400889b4c metadata.xml 179 @@ -35,7 +35,7 @@ SHA256 240d4bacf5e94ee20d8c3d32e102884aea60f83835a9f73755dfe2afd119db22 files/di -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (GNU/Linux) -iD8DBQFG9lgfNQqtfCuFneMRAhh3AJ4yPWhcKSFTLDHFsqe/noRBaClXTgCeK1mD -xcTRfFS5HmKtHElgHbtCY3U= -=NzzV +iD8DBQFHKIOvnUVyUObPUL4RAg/tAJkBJIumnQc4SMhl6n06CcihmI8W7ACdGAMw +mMYHmsMVg1fYCsMRtDeU2MI= +=YWaW -----END PGP SIGNATURE----- |