/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.45/Sun Mar 24 01:00:38 2024//
/distinfo/1.34/Sun Mar 24 01:00:38 2024//
D