# exported from git by git-debcherry
0001-enable-tidy-mode-for-texi2pdf.patch
0002-replace-sha1.cc-with-boost-uuid-details-sha1.patch
