enable_debianabimanager.diff
fix-gcc12.patch
