/DESCR/1.1/Sat Jul  7 09:00:15 2018//
/PLIST/1.5/Sun Oct 29 01:00:37 2023//
/Makefile/1.16/Sat Apr 20 01:00:45 2024//
/distinfo/1.12/Sat Apr 20 01:00:45 2024//
D