/ALTERNATIVES/1.2/Wed Aug 24 21:35:12 2016//
/DESCR/1.2/Sat May 16 08:00:01 2020//
/PLIST/1.26/Fri Mar 22 01:00:48 2024//
/Makefile/1.127/Wed May  1 01:00:45 2024//
/distinfo/1.112/Wed May  1 01:00:45 2024//
D