diff options
| author |   Jeremy Huddleston <eradicator@gentoo.org> | 2004-07-02 04:33:04 +0000 |
|---|---|---|
| committer | Jeremy Huddleston <eradicator@gentoo.org> | 2004-07-02 04:33:04 +0000 |
| commit | 82d4713d2b08b805dbebc7883d21fe58b5efb581 (patch) | |
| tree | c784f54acec61b4f930d117d3d7cd0de18d82f30 /dev-lang/mlton | |
| parent | virtual/glibc -> virtual/libc (diff) | |
| download | historical-82d4713d2b08b805dbebc7883d21fe58b5efb581.tar.gz historical-82d4713d2b08b805dbebc7883d21fe58b5efb581.tar.bz2 historical-82d4713d2b08b805dbebc7883d21fe58b5efb581.zip | |
virtual/glibc -> virtual/libc
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 |