/ALTERNATIVES/1.1/Wed Oct  2 10:04:59 2019//
/DESCR/1.1/Tue Oct  1 13:22:55 2019//
/PLIST/1.4/Sun Oct 29 01:00:37 2023//
/Makefile/1.13/Mon Jan  1 01:00:38 2024//
/distinfo/1.8/Mon Jan  1 01:00:38 2024//
D