0001-camldebug-of-tuareg-mode-is-renamed-to-camldebug-tua.patch
0002-Use-locally-installed-documentation-when-possible.patch
debian-changes-1:2.0.4-3
