/DESCR/1.1/Mon Dec 17 00:38:48 2012//
/distinfo/1.9/Sat Apr 16 01:00:25 2022//
/PLIST/1.5/Sun Apr 17 01:00:25 2022//
/options.mk/1.3/Wed May 18 01:00:20 2022//
/Makefile/1.39/Mon Apr  8 01:00:30 2024//
D