GIFLIB_MAJOR      521 util/gif2rgb.c 	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       96 util/gifbg.c   	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       59 util/gifbuild.c 	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       76 util/gifclrmp.c 	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       60 util/gifcolor.c 	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       76 util/gifecho.c 	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       60 util/giffix.c  	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       78 util/gifhisto.c 	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       92 util/gifinto.c 	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       70 util/giftext.c 	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);
GIFLIB_MAJOR       61 util/gifwedge.c 	(void)fprintf(stderr, VersionStr, GIFLIB_MAJOR, GIFLIB_MINOR);