/DESCR/1.3/Wed Feb 12 08:09:45 2020//
/PLIST/1.4/Mon Feb  7 01:00:31 2022//
/distinfo/1.5/Sat Jul  1 01:00:31 2023//
/Makefile/1.12/Tue Oct 24 01:00:31 2023//
/options.mk/1.2/Tue Oct 24 01:00:31 2023//
D