ci: Fix reprepro.

It has to run on the latest Debian-like distro. Used to be an Ubuntu release, currently it's bookworm, soon it will be Ubuntu again.