/ALTERNATIVES/1.1/Thu May 17 08:04:47 2018// /DESCR/1.1/Thu May 17 08:04:47 2018// /PLIST/1.1/Thu May 17 08:04:47 2018// /distinfo/1.3/Tue Oct 26 10:19:10 2021// /Makefile/1.5/Wed Nov 8 01:00:49 2023// D