/ALTERNATIVES/1.2/Tue May 15 15:56:16 2018//
/DESCR/1.1/Tue Apr  4 13:31:37 2017//
/PLIST/1.5/Mon May  1 01:00:36 2023//
/distinfo/1.8/Mon May  1 01:00:36 2023//
/Makefile/1.11/Mon Jul 31 01:00:40 2023//
D