D/files////
/DEINSTALL/1.8/Mon Nov  8 01:01:38 2021//
/INSTALL/1.17/Mon Nov  8 01:01:38 2021//
/PLIST/1.22/Mon Nov  8 01:01:38 2021//
/DESCR/1.2/Tue Apr 25 01:00:49 2023//
/Makefile/1.130/Fri Nov 17 01:00:50 2023//
/options.mk/1.72/Fri Nov 17 01:00:50 2023//
/distinfo/1.51/Sun Apr 28 01:00:57 2024//