/DESCR/1.1/Fri Oct  4 07:03:37 2013//
/PLIST/1.2/Thu Aug 23 08:21:02 2018//
/distinfo/1.8/Tue Oct 26 10:14:40 2021//
D/patches////
/options.mk/1.2/Wed Jun  7 01:00:37 2023//
/Makefile/1.69/Sat Dec 30 01:00:37 2023//
/buildlink3.mk/1.26/Sat Dec 30 01:00:37 2023//