/DESCR/1.1/Wed Oct 31 22:27:01 2001// /PLIST/1.6/Tue Nov 16 01:01:10 2021// /options.mk/1.3/Mon Nov 15 19:39:27 2021// /Makefile/1.106/Thu Nov 24 01:01:01 2022// /Makefile.common/1.13/Thu Mar 14 01:01:15 2024// /distinfo/1.67/Thu Mar 14 01:01:15 2024// D