/DESCR/1.1/Thu May  9 15:53:32 2013//
/PLIST/1.6/Tue May  2 01:00:56 2023//
/distinfo/1.10/Tue May  2 01:00:56 2023//
/Makefile/1.11/Sun Aug  6 01:00:57 2023//
D