/DESCR/1.1/Thu Dec  6 19:52:40 2018//
/PLIST/1.2/Sun Aug  6 01:00:57 2023//
/distinfo/1.7/Sun Aug  6 01:00:57 2023//
/Makefile/1.23/Thu Nov  9 01:00:57 2023//
D