/DESCR/1.1/Sat May 21 18:49:33 2016//
/options.mk/1.2/Sat Jun  2 16:40:20 2018//
/PLIST/1.15/Mon Nov 28 01:01:10 2022//
/distinfo/1.13/Mon Nov 28 01:01:10 2022//
/Makefile/1.69/Sun Aug 31 01:01:15 2025//
D
