/DESCR/1.2/Thu Feb 21 08:03:15 2019//
/PLIST/1.1/Mon May 27 10:51:01 2013//
/distinfo/1.10/Sat Apr  9 01:01:21 2022//
/Makefile/1.16/Mon Nov 13 01:01:16 2023//
D