/ALTERNATIVES/1.4/Tue May  7 08:00:03 2019//
/DESCR/1.1/Mon Nov 21 11:56:28 2016//
/MESSAGE/1.1/Tue Jan 23 10:54:20 2018//
/PLIST/1.48/Sun Oct 29 01:00:56 2023//
/Makefile/1.92/Thu Nov  9 01:00:58 2023//
/distinfo/1.88/Thu Nov  9 01:00:58 2023//
D