/DESCR/1.2/Sun Apr  7 20:49:34 2013//
/PLIST/1.13/Mon Sep  5 01:00:51 2022//
/Makefile/1.30/Mon Mar 11 01:00:45 2024//
/distinfo/1.31/Mon Mar 11 01:00:45 2024//
D