K 10
svn:author
V 6
jseger
K 8
svn:date
V 27
1997-11-22T16:11:14.000000Z
K 7
svn:log
V 125
Distfile no longer available on old MASTER_SITE.  Activate new site.
PR:		ports/5122
Submitted by:	jesse@cs.uni-magdeburg.de

END