diff options
| author |   Tim Yamin <plasmaroo@gentoo.org> | 2004-02-18 14:46:29 +0000 |
|---|---|---|
| committer | Tim Yamin <plasmaroo@gentoo.org> | 2004-02-18 14:46:29 +0000 |
| commit | fe46accb8f7952c81b33710b13a1947b9cb7f177 (patch) | |
| tree | cd80728f1a517e6e2b8f4e5531c192b8b929a05a /dev-lang/mosml/files | |
| parent | Removing old release candidates. (Manifest recommit) (diff) | |
| download | gentoo-2-fe46accb8f7952c81b33710b13a1947b9cb7f177.tar.gz gentoo-2-fe46accb8f7952c81b33710b13a1947b9cb7f177.tar.bz2 gentoo-2-fe46accb8f7952c81b33710b13a1947b9cb7f177.zip | |
Version bump.
Diffstat (limited to 'dev-lang/mosml/files')
| -rw-r--r-- | dev-lang/mosml/files/digest-mosml-2.00 | 1 | ||||
| -rw-r--r-- | dev-lang/mosml/files/digest-mosml-2.01 | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/mosml/files/digest-mosml-2.00 b/dev-lang/mosml/files/digest-mosml-2.00 deleted file mode 100644 index 62aa1a3fb4d1..000000000000 --- a/dev-lang/mosml/files/digest-mosml-2.00 +++ /dev/null @@ -1 +0,0 @@ -MD5 b18f8022a06442f84c8dbfa47067ce07 mos20src.tar.gz 2308637 diff --git a/dev-lang/mosml/files/digest-mosml-2.01 b/dev-lang/mosml/files/digest-mosml-2.01 new file mode 100644 index 000000000000..8247bad7fbb5 --- /dev/null +++ b/dev-lang/mosml/files/digest-mosml-2.01 @@ -0,0 +1 @@ +MD5 74aaaf988201fe92a9dbfbcb1e646f70 mos201src.tar.gz 2314392 |