/DESCR/1.1/Tue Oct  3 00:43:22 2017//
/PLIST/1.2/Tue Jul  7 10:31:31 2020//
D/patches////
/Makefile/1.16/Tue Jan 17 01:01:15 2023//
/distinfo/1.9/Tue Jan 17 01:01:15 2023//