/DESCR/1.2/Sun Nov 29 17:31:27 2020// /PLIST/1.10/Sun Nov 29 17:31:27 2020// /distinfo/1.7/Thu Mar 3 01:00:34 2022// D/patches//// /Makefile/1.75/Tue Nov 28 01:00:33 2023//