0dc1a3f0391e2a808e08805c66efc4ce  xboard.infodir.diff.gz