/distinfo/1.13/Tue Oct 26 10:51:37 2021//
D/patches////
/ALTERNATIVES/1.1/Mon Mar  7 22:59:18 2022//
/DESCR/1.4/Tue Mar  8 01:00:52 2022//
/PLIST/1.8/Tue Mar  8 01:00:52 2022//
/buildlink3.mk/1.8/Thu Oct 27 01:00:47 2022//
/Makefile/1.21/Sat Mar  2 01:00:57 2024//