K 10
svn:author
V 3
knu
K 8
svn:date
V 27
2002-01-22T04:54:56.000000Z
K 7
svn:log
V 155
This library is deprecated and removed from the distribution site.
Temporarily put the distfile in my local_distfiles and change
MASTER_SITES accordingly.

END