/DESCR/1.1/Thu Feb  8 20:58:50 2018//
/PLIST/1.4/Wed Oct  5 01:00:38 2022//
/distinfo/1.8/Wed Oct  5 01:00:38 2022//
/Makefile/1.17/Tue Oct 24 01:00:40 2023//
D