/DESCR/1.1/Mon Sep  4 13:58:24 2017//
/PLIST/1.2/Sun Jan 14 16:00:35 2018//
/distinfo/1.11/Tue Oct 26 10:05:23 2021//
D/patches////
/Makefile/1.14/Wed Nov  8 01:00:41 2023//