/DESCR/1.3/Wed Oct 31 22:55:29 2001// /PLIST/1.3/Wed Oct 31 22:55:29 2001// /distinfo/1.6/Mon Nov 8 01:01:51 2021// /Makefile/1.22/Wed Jun 29 01:00:53 2022// D