amd64
why3 (0.87.3-2)_0.87.3-2+b5_amd64.buildinfo
0xD78805DE68F9D583
arm64
why3 (0.87.3-2)_0.87.3-2+b5_arm64.buildinfo
0x39DC807F9C1EB0C9
armel
why3 (0.87.3-2)_0.87.3-2+b5_armel.buildinfo
0xBA71C788F910C77D
armhf
why3 (0.87.3-2)_0.87.3-2+b5_armhf.buildinfo
0x0D38788588CEE7B3
i386
why3 (0.87.3-2)_0.87.3-2+b5_i386.buildinfo
0x69616CDA9356D1F3