/DESCR/1.1/Thu Jul  2 03:37:49 2015//
/PLIST/1.1/Thu Jul  2 03:37:49 2015//
/options.mk/1.1/Thu Jul  2 03:37:49 2015//
/builtin.mk/1.1/Thu Dec  2 18:14:36 2021//
/distinfo/1.6/Wed Jan 25 01:01:07 2023//
/Makefile/1.15/Mon Nov 13 01:01:24 2023//
D