/DESCR/1.1/Mon Sep 28 23:55:26 2020//
/ALTERNATIVES/1.2/Wed Apr 13 01:01:17 2022//
/PLIST/1.11/Sat Nov 15 01:01:08 2025//
/distinfo/1.40/Mon Oct 12 01:01:07 2026//
/Makefile/1.47/Sat Oct 17 01:01:06 2026//
D
