/DESCR/1.1/Fri Oct  3 16:14:30 2014//
/PLIST/1.5/Wed Apr 13 01:00:36 2022//
/distinfo/1.10/Wed Apr 13 01:00:36 2022//
/Makefile/1.14/Wed Jun  7 01:00:36 2023//
/deforaos-configure.mk/1.12/Wed Jun  7 01:00:36 2023//
D