/DESCR/1.3/Thu Nov  7 10:42:26 2013//
/PLIST/1.10/Fri Aug  4 01:00:42 2023//
/distinfo/1.19/Wed Feb  7 01:00:41 2024//
/Makefile/1.91/Sun Apr  7 01:00:47 2024//
D