diff options
| author |   Jeremy Huddleston <eradicator@gentoo.org> | 2004-07-02 04:28:36 +0000 |
|---|---|---|
| committer | Jeremy Huddleston <eradicator@gentoo.org> | 2004-07-02 04:28:36 +0000 |
| commit | e12c66a91905e4476981cb4738bf43f10bb11198 (patch) | |
| tree | 5b428eadc1cd36b581e9e96d4bd607c98d15d0ee /dev-lang/mlton | |
| parent | virtual/glibc -> virtual/libc (diff) | |
| download | gentoo-2-e12c66a91905e4476981cb4738bf43f10bb11198.tar.gz gentoo-2-e12c66a91905e4476981cb4738bf43f10bb11198.tar.bz2 gentoo-2-e12c66a91905e4476981cb4738bf43f10bb11198.zip | |
virtual/glibc -> virtual/libc (Manifest recommit)
Diffstat (limited to 'dev-lang/mlton')
| -rw-r--r-- | dev-lang/mlton/Manifest | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev-lang/mlton/Manifest b/dev-lang/mlton/Manifest index 82d40efe4045..58dc989c4a8a 100644 --- a/dev-lang/mlton/Manifest +++ b/dev-lang/mlton/Manifest @@ -1,5 +1,5 @@ -MD5 3fca3fb12941ef6d7571837af5a45239 mlton-20040227.ebuild 781 -MD5 a95bda2dd1940ecc34017903c08a6b09 ChangeLog 442 +MD5 0c919e73672fc1ce46328e455c0309c1 ChangeLog 559 MD5 8b350f19c06fcabf1053b0421b7c3f5a metadata.xml 155 -MD5 08a12942c5d18a494e393d86ad43ae8d files/mlton-20040227-obsolete-flags.patch 1089 +MD5 e80002e10b9f2f5ca686602e2fd1d179 mlton-20040227.ebuild 783 MD5 fc40fd217231ed1183406f8f0bb9f8c2 files/digest-mlton-20040227 70 +MD5 08a12942c5d18a494e393d86ad43ae8d files/mlton-20040227-obsolete-flags.patch 1089 |