D/patches////
/DESCR/1.2/Tue May  6 17:40:51 2003//
/PLIST/1.47/Tue May 24 01:00:26 2022//
/options.mk/1.18/Wed Jun  7 01:00:37 2023//
/distinfo/1.80/Mon Jan  1 01:00:34 2024//
/Makefile/1.186/Tue Apr 16 01:00:41 2024//