https://bugzilla.redhat.com/show_bug.cgi?id=2223012
--- Comment #2 from Scott Talbert swt@techie.net --- It's interesting that we ended up with a lot of the same patches (mostly tweaks to upstream's build system which is too hard-coded in a lot of cases).
In case you're curious, the Debian packaging is here (patches are in debian/patches): https://salsa.debian.org/science-team/cvc5
I didn't end up packaging the Pythonic API (just patched it out) because dealing with multiple upstream tarballs is a bit of a pain in Debian.
I do run the unittests in Debian, though. They do work, although there is one test that's broken on 32-bit arches (N/A for Fedora) and a lot are broken on mips* (also N/A for Fedora). There are a couple that use a lot of memory that I patched out.