Bug#1007031: "patch" available

[Lucas Nussbaum]

Hi,

Please also see
https://lists.debian.org/debian-devel/2022/03/msg00096.html , where it
was noticed that the conversion for this package is trivial, and builds
bit-by-bit identical binary packages.

Lucas