D/patches////
/DESCR/1.1/Wed Oct 31 23:52:35 2001//
/PLIST/1.4/Mon Nov  8 01:01:10 2021//
/distinfo/1.13/Mon Nov  8 01:01:10 2021//
/options.mk/1.1/Mon Mar 23 18:54:51 2020//
/Makefile/1.48/Wed Jan 31 01:00:41 2024//