D/files////
D/patches////
/DEINSTALL/1.6/Mon Mar 17 20:12:47 2003//
/DESCR/1.2/Sun Jun  6 11:47:30 2004//
/PLIST/1.22/Mon Nov  8 01:00:39 2021//
/options.mk/1.4/Mon Nov  8 01:00:39 2021//
/Makefile/1.72/Mon Jul 10 01:00:30 2023//
/distinfo/1.40/Mon Jul 10 01:00:30 2023//