coq-interval (4.8.0-1)_4.8.0-1+b1_riscv64.buildinfo
coq-interval (4.8.0-1)_4.8.0-1+b1_arm64.buildinfo
coq-interval (4.8.0-1)_4.8.0-1+b1_ppc64el.buildinfo
coq-interval (4.8.0-1)_4.8.0-1+b1_s390x.buildinfo
coq-interval (4.8.0-1)_4.8.0-1+b1_i386.buildinfo
coq-interval (4.8.0-1)_4.8.0-1+b1_armhf.buildinfo
coq-interval (4.8.0-1)_4.8.0-1+b1_amd64.buildinfo