/DESCR/1.2/Sun Feb  4 12:00:28 2018//
D/patches////
/Makefile/1.48/Sun Dec 17 01:00:43 2023//
/distinfo/1.39/Sun Dec 17 01:00:43 2023//