diff options
author | chuckr <chuckr@FreeBSD.org> | 1998-08-03 01:38:24 +0800 |
---|---|---|
committer | chuckr <chuckr@FreeBSD.org> | 1998-08-03 01:38:24 +0800 |
commit | e88990d928eabf55734740e93552ab2854499099 (patch) | |
tree | 28002ce27330ed1cf1a966f40dafee993af5cf7f /lang/moscow_ml/distinfo | |
parent | 1234d20f4accbdf213d3ce0d3280e0175e83ba13 (diff) | |
download | freebsd-ports-gnome-e88990d928eabf55734740e93552ab2854499099.tar.gz freebsd-ports-gnome-e88990d928eabf55734740e93552ab2854499099.tar.zst freebsd-ports-gnome-e88990d928eabf55734740e93552ab2854499099.zip |
Update moscow_ml to version 1.43. This is a good version of ml if
you are limited in space. If you have no space limitations, I'd really
recommend the new smlnj port instead.
Diffstat (limited to 'lang/moscow_ml/distinfo')
-rw-r--r-- | lang/moscow_ml/distinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/moscow_ml/distinfo b/lang/moscow_ml/distinfo index a1e7bb9f6407..ea5ab22b223c 100644 --- a/lang/moscow_ml/distinfo +++ b/lang/moscow_ml/distinfo @@ -1 +1 @@ -MD5 (mos14src.tar.gz) = 89bf25e3fda429be019f13c841fd33a1 +MD5 (mos14src.tar.gz) = 3c046ef3f95c57d61cfe5e78092dfa80 |