/DESCR/1.1/Mon Jun 15 09:46:27 2015//
D/files////
/distinfo/1.4/Sun Dec 12 01:00:53 2021//
/Makefile/1.16/Fri Mar 11 01:00:50 2022//
/Makefile.version/1.12/Wed Jun 29 01:00:46 2022//
/buildlink3.mk/1.6/Wed Jun 29 01:00:46 2022//
/options.mk/1.8/Wed Jun  7 01:00:52 2023//