armel
why3 (1.2.0-1)_1.2.0-1+b3_armel.buildinfo
0x15559639BA39FB63
mips
why3 (1.2.0-1)_1.2.0-1+b3_mips.buildinfo
0xD48D2774177DD46D
mips64el
why3 (1.2.0-1)_1.2.0-1+b3_mips64el.buildinfo
0x3443710A81671ED1
mipsel
why3 (1.2.0-1)_1.2.0-1+b3_mipsel.buildinfo
0xC0BF082DA8AD6020