/DESCR/1.1/Tue May 28 14:10:04 2019//
/ALTERNATIVES/1.1/Wed Nov 30 10:46:00 2022//
/PLIST/1.5/Fri Dec 16 01:01:04 2022//
/distinfo/1.8/Wed May  3 01:01:09 2023//
/Makefile/1.14/Tue Oct 24 01:01:07 2023//
D