/ALTERNATIVES/1.2/Mon Jan 28 14:17:18 2019// /DESCR/1.1/Tue Apr 4 11:26:54 2017// /distinfo/1.12/Wed Oct 26 01:01:06 2022// /Makefile/1.14/Sun Oct 29 01:01:08 2023// /PLIST/1.5/Sun Oct 29 01:01:08 2023// D