/DESCR/1.1/Tue Nov  3 20:55:34 2020//
/PLIST.Linux/1.1/Tue Nov  3 20:55:34 2020//
D/patches////
/PLIST/1.4/Tue Jul  5 01:01:02 2022//
/distinfo/1.4/Tue Jul  5 01:01:02 2022//
/options.mk/1.2/Tue Jul  5 01:01:02 2022//
/buildlink3.mk/1.4/Tue Aug 15 01:01:03 2023//
/Makefile/1.9/Sat Jul  5 01:01:06 2025//
