/DESCR/1.2/Tue May  6 17:42:09 2003//
/PLIST/1.3/Mon Nov  8 01:01:51 2021//
/options.mk/1.2/Sat May 20 11:25:50 2017//
/Makefile/1.25/Fri Apr 26 01:01:02 2024//
/distinfo/1.21/Fri Apr 26 01:01:02 2024//
D