/MESSAGE/1.1/Sun May 31 15:20:22 2020//
/DESCR/1.2/Mon Jul  3 01:00:39 2023//
/PLIST/1.2/Mon Jul  3 01:00:39 2023//
/options.mk/1.3/Mon Jul 10 01:00:42 2023//
/Makefile/1.10/Sat Nov 18 01:00:41 2023//
D