f064eef63337947fd9141bc1bd3fee61dd168b88  xboard.infodir.diff.gz