arm64
cvc5_1.0.2-2_arm64.buildinfo
0x15B0D8D0DA4BE456
s390x
cvc5_1.0.2-2_s390x.buildinfo
0x150D4418DDF133A4