/DESCR/1.2/Fri May 1 00:15:12 2020// /PLIST/1.2/Wed Jan 30 08:01:16 2019// /Makefile/1.7/Sun Apr 2 01:00:58 2023// /distinfo/1.8/Sun Apr 2 01:00:58 2023// D