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