/DESCR/1.1/Fri Dec 21 16:57:35 2018//
/PLIST/1.1/Fri Dec 21 16:57:35 2018//
/options.mk/1.3/Mon Jan 17 01:00:45 2022//
/distinfo/1.11/Mon May 22 01:00:43 2023//
D/patches////
/Makefile/1.37/Sun Apr  7 01:00:49 2024//