coq-libhyps (2.0.6-1)_2.0.6-1+b2_ppc64el.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b2_arm64.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b3_amd64.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b2_s390x.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b2_i386.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b2_armhf.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b1_s390x.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b1_ppc64el.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b2_amd64.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b1_i386.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b1_armhf.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b1_arm64.buildinfo
coq-libhyps (2.0.6-1)_2.0.6-1+b1_amd64.buildinfo