fix-32-bit-formats.debian-patch
add-void-to-fix-strict-prototypes.debian-patch
drop-protectkerneltunables.debian-patch
