/DESCR/1.2/Sun Jan  5 13:38:49 2020//
D/patches////
/version.mk/1.5/Mon Jan 30 01:00:41 2023//
/buildlink3.mk/1.6/Tue Aug 15 01:00:46 2023//
/distinfo/1.18/Wed Sep  6 01:00:46 2023//
/Makefile/1.42/Fri Oct  6 01:00:49 2023//
/options.mk/1.8/Wed Mar  6 01:00:56 2024//