/DESCR/1.1/Mon Feb 13 21:13:11 2017//
/ALTERNATIVES/1.2/Wed Oct 26 01:00:35 2022//
/distinfo/1.8/Mon May  1 01:00:36 2023//
/Makefile/1.10/Sun Oct 29 01:00:37 2023//
/PLIST/1.5/Sun Oct 29 01:00:37 2023//
D