/DESCR/1.1/Thu Aug  8 13:40:30 2019//
/PLIST/1.7/Fri Dec 16 01:00:42 2022//
/distinfo/1.10/Fri Dec 16 01:00:42 2022//
/Makefile.common/1.14/Wed Jul 19 01:00:43 2023//
/Makefile/1.24/Thu Nov  9 01:00:46 2023//
D