> And sorry for pushing this version without notice, I didn't realise > other packages were using it and depended on its API.
really? what do you expect when uploading that to the archive? reverse-depends -b src:catch2 tells you all it's users. gringo seems to broken as well: https://bugs.debian.org/1054688