/infocmp.1/1.7/Wed Mar 19 03:05:32 2014//
/Makefile/1.3/Thu Mar 10 03:01:11 2016//
/infocmp.c/1.12/Wed May 17 03:01:24 2017//
D
