/options.mk/1.4/Tue Jul  7 11:16:10 2020//
/DESCR/1.2/Fri Aug 12 01:01:01 2022//
/PLIST/1.10/Fri Aug 12 01:01:01 2022//
/distinfo/1.20/Wed Apr 26 01:01:01 2023//
/Makefile/1.28/Tue Aug 15 01:00:59 2023//
/buildlink3.mk/1.6/Tue Aug 15 01:00:59 2023//
D