/DESCR/1.1/Tue Dec 13 01:19:20 2016//
D/files////
/distinfo/1.3/Sun Dec 12 01:00:53 2021//
/Makefile/1.10/Tue Mar  8 01:00:52 2022//
/Makefile.version/1.5/Wed Jun 29 01:00:46 2022//
/buildlink3.mk/1.7/Wed Jun 29 01:00:46 2022//
/options.mk/1.3/Wed Jun  7 01:00:52 2023//