/ALTERNATIVES/1.1/Mon Oct 21 22:54:40 2019// /DESCR/1.1/Mon May 16 15:05:48 2016// /PLIST/1.5/Wed Nov 15 01:00:46 2023// /Makefile/1.17/Fri Feb 23 01:00:44 2024// /distinfo/1.14/Fri Feb 23 01:00:44 2024// D