/DESCR/1.1/Tue Aug 14 12:08:48 2012//
/PLIST/1.3/Wed Jul 26 17:02:31 2017//
/distinfo/1.8/Tue Oct 26 10:18:39 2021//
/Makefile/1.10/Wed Nov  8 01:00:49 2023//
D