/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.57/Mon Apr  8 01:01:18 2024//
D