/ALTERNATIVES/1.2/Tue Jul  2 04:19:59 2019//
/DESCR/1.1/Sat Feb 25 14:53:49 2017//
D/patches////
/PLIST/1.3/Tue Jan 11 01:01:27 2022//
/Makefile/1.11/Sat Aug  5 01:01:17 2023//
/distinfo/1.8/Sat Aug  5 01:01:17 2023//
