/DESCR/1.3/Tue Jul 17 13:05:05 2018//
/PLIST/1.9/Tue Jan 16 01:01:00 2024//
/distinfo/1.14/Sat May 11 01:00:53 2024//
/Makefile/1.25/Sat Jul  6 01:00:40 2024//
D