K 10
svn:author
V 5
dougb
K 8
svn:date
V 27
2006-05-29T10:12:31.000000Z
K 7
svn:log
V 354
Vastly improve handling of moved ports:
1. Update DEPORIGIN in addition to @pkgdep entries in +CONTENTS
2. Give more details about why a port moved
3. grep for the old port name in existing +CONTENTS files, since the
new name will not appear at all

Also, stretch the window to wait for a background 'make checksum' to
complete to 5 seconds instead of 3

END