agda (2.5.3-3)_2.5.3-3+b2_mips64el.buildinfo
agda (2.5.3-3)_2.5.3-3+b2_mipsel.buildinfo
agda (2.5.3-3)_2.5.3-3+b2_mips.buildinfo
agda (2.5.3-3)_2.5.3-3+b2_arm64.buildinfo
agda (2.5.3-3)_2.5.3-3+b2_s390x.buildinfo
agda (2.5.3-3)_2.5.3-3+b2_i386.buildinfo
agda (2.5.3-3)_2.5.3-3+b2_ppc64el.buildinfo
agda (2.5.3-3)_2.5.3-3+b2_amd64.buildinfo
agda (2.5.3-3)_2.5.3-3+b1_mips64el.buildinfo
agda (2.5.3-3)_2.5.3-3+b1_mipsel.buildinfo
agda (2.5.3-3)_2.5.3-3+b1_mips.buildinfo
agda (2.5.3-3)_2.5.3-3+b1_arm64.buildinfo
agda (2.5.3-3)_2.5.3-3+b1_s390x.buildinfo
agda (2.5.3-3)_2.5.3-3+b1_ppc64el.buildinfo
agda (2.5.3-3)_2.5.3-3+b1_i386.buildinfo
agda (2.5.3-3)_2.5.3-3+b1_amd64.buildinfo