/DESCR/1.1/Sun Nov  8 09:21:52 2015//
/ALTERNATIVES/1.3/Tue May  2 01:00:40 2023//
/PLIST/1.12/Sun Oct 29 01:00:38 2023//
/Makefile/1.46/Sat Apr 27 01:00:48 2024//
/distinfo/1.35/Sat Apr 27 01:00:48 2024//
D