/ALTERNATIVES/1.2/Fri Jan  3 08:42:32 2020//
/DESCR/1.1/Thu Mar 14 13:57:54 2013//
/PLIST/1.17/Wed Mar  8 01:00:26 2023//
/distinfo/1.20/Wed Mar  8 01:00:26 2023//
/Makefile/1.32/Tue Oct 24 01:00:28 2023//
D