/DESCR/1.1/Sat Jan 18 02:16:39 2020//
/PLIST/1.4/Wed Nov  1 01:00:32 2023//
/distinfo/1.8/Wed Nov  1 01:00:32 2023//
/options.mk/1.2/Wed Nov  1 01:00:32 2023//
/Makefile/1.16/Fri Nov  3 01:00:31 2023//
D