/DESCR/1.2/Sat Jan 11 21:11:53 2014// /distinfo/1.18/Wed May 18 01:00:52 2022// /PLIST/1.11/Fri Jun 10 01:00:57 2022// /options.mk/1.4/Fri Jun 10 01:00:57 2022// /Makefile/1.46/Wed Nov 15 01:01:11 2023// /buildlink3.mk/1.30/Wed Nov 15 01:01:11 2023// D