/MESSAGE/1.2/Tue Jan 10 23:07:41 2017//
D/files////
/ALTERNATIVES/1.3/Thu Dec 23 01:00:38 2021//
/DESCR/1.2/Thu Dec 23 01:00:38 2021//
/PLIST/1.9/Thu Dec 23 01:00:39 2021//
/distinfo/1.16/Thu Dec 23 01:00:39 2021//
/options.mk/1.20/Tue Jul  4 01:00:37 2023//
/Makefile.common/1.30/Wed Aug  2 01:00:35 2023//
/Makefile/1.28/Tue Oct 24 01:00:38 2023//