/ALTERNATIVES/1.2/Tue Jun  2 19:52:43 2020//
/DESCR/1.1/Thu Feb 15 16:44:30 2018//
/PLIST/1.2/Tue Jun  2 19:52:43 2020//
/distinfo/1.7/Wed Apr 20 01:00:41 2022//
/Makefile/1.8/Wed May  3 01:00:42 2023//
D