D/patches////
/DESCR/1.2/Sat Jan 15 21:14:27 2005//
/PLIST.charset/1.3/Mon Nov  8 01:02:18 2021//
/PLIST.cons.saver/1.3/Mon Nov  8 01:02:18 2021//
/PLIST/1.23/Wed Apr 13 01:01:13 2022//
/distinfo/1.43/Wed Apr 13 01:01:13 2022//
/options.mk/1.18/Sat Sep 30 01:01:03 2023//
/Makefile/1.131/Wed Oct 25 01:01:06 2023//