ed3789204f41dc715123ed0d845b316825ecd7e6  linuxdoc-tools-0.9.68-flex.patch.xz