BIN cvc5_1.0.3-1.debian.tar.xz
  TEXT cvc5_1.0.3-1.dsc
   BIN cvc5_1.0.3-1_amd64.deb
   BIN cvc5_1.0.3-1_arm64.deb
   BIN cvc5_1.0.3-1_ppc64el.deb
   BIN cvc5_1.0.3-1_s390x.deb
   BIN cvc5_1.0.3.orig.tar.gz
   BIN cvc5_1.1.2-2+b3_amd64.deb
   BIN cvc5_1.1.2-2+b3_arm64.deb
   BIN cvc5_1.1.2-2+b3_armel.deb
   BIN cvc5_1.1.2-2+b3_armhf.deb
   BIN cvc5_1.1.2-2+b3_i386.deb
   BIN cvc5_1.1.2-2+b3_ppc64el.deb
   BIN cvc5_1.1.2-2+b3_riscv64.deb
   BIN cvc5_1.1.2-2+b3_s390x.deb
   BIN cvc5_1.1.2-2.debian.tar.xz
  TEXT cvc5_1.1.2-2.dsc
   BIN cvc5_1.1.2-3.debian.tar.xz
  TEXT cvc5_1.1.2-3.dsc
   BIN cvc5_1.1.2-3_amd64.deb
   BIN cvc5_1.1.2-3_arm64.deb
   BIN cvc5_1.1.2-3_armhf.deb
   BIN cvc5_1.1.2-3_i386.deb
   BIN cvc5_1.1.2-3_ppc64el.deb
   BIN cvc5_1.1.2-3_riscv64.deb
   BIN cvc5_1.1.2-3_s390x.deb
   BIN cvc5_1.1.2.orig.tar.gz
   BIN cvc5_1.3.2-1.debian.tar.xz
  TEXT cvc5_1.3.2-1.dsc
   BIN cvc5_1.3.2-1_amd64.deb
   BIN cvc5_1.3.2-1_arm64.deb
   BIN cvc5_1.3.2-1_armhf.deb
   BIN cvc5_1.3.2-1_i386.deb
   BIN cvc5_1.3.2-1_loong64.deb
   BIN cvc5_1.3.2-1_ppc64el.deb
   BIN cvc5_1.3.2-1_riscv64.deb
   BIN cvc5_1.3.2-1_s390x.deb
   BIN cvc5_1.3.2.orig.tar.gz
   BIN libcvc5-1_1.0.3-1_amd64.deb
   BIN libcvc5-1_1.0.3-1_arm64.deb
   BIN libcvc5-1_1.0.3-1_ppc64el.deb
   BIN libcvc5-1_1.0.3-1_s390x.deb
   BIN libcvc5-1_1.1.2-2+b3_amd64.deb
   BIN libcvc5-1_1.1.2-2+b3_arm64.deb
   BIN libcvc5-1_1.1.2-2+b3_armel.deb
   BIN libcvc5-1_1.1.2-2+b3_armhf.deb
   BIN libcvc5-1_1.1.2-2+b3_i386.deb
   BIN libcvc5-1_1.1.2-2+b3_ppc64el.deb
   BIN libcvc5-1_1.1.2-2+b3_riscv64.deb
   BIN libcvc5-1_1.1.2-2+b3_s390x.deb
   BIN libcvc5-1_1.1.2-3_amd64.deb
   BIN libcvc5-1_1.1.2-3_arm64.deb
   BIN libcvc5-1_1.1.2-3_armhf.deb
   BIN libcvc5-1_1.1.2-3_i386.deb
   BIN libcvc5-1_1.1.2-3_ppc64el.deb
   BIN libcvc5-1_1.1.2-3_riscv64.deb
   BIN libcvc5-1_1.1.2-3_s390x.deb
   BIN libcvc5-1_1.3.2-1_amd64.deb
   BIN libcvc5-1_1.3.2-1_arm64.deb
   BIN libcvc5-1_1.3.2-1_armhf.deb
   BIN libcvc5-1_1.3.2-1_i386.deb
   BIN libcvc5-1_1.3.2-1_loong64.deb
   BIN libcvc5-1_1.3.2-1_ppc64el.deb
   BIN libcvc5-1_1.3.2-1_riscv64.deb
   BIN libcvc5-1_1.3.2-1_s390x.deb
   BIN libcvc5-dev_1.0.3-1_amd64.deb
   BIN libcvc5-dev_1.0.3-1_arm64.deb
   BIN libcvc5-dev_1.0.3-1_ppc64el.deb
   BIN libcvc5-dev_1.0.3-1_s390x.deb
   BIN libcvc5-dev_1.1.2-2+b3_amd64.deb
   BIN libcvc5-dev_1.1.2-2+b3_arm64.deb
   BIN libcvc5-dev_1.1.2-2+b3_armel.deb
   BIN libcvc5-dev_1.1.2-2+b3_armhf.deb
   BIN libcvc5-dev_1.1.2-2+b3_i386.deb
   BIN libcvc5-dev_1.1.2-2+b3_ppc64el.deb
   BIN libcvc5-dev_1.1.2-2+b3_riscv64.deb
   BIN libcvc5-dev_1.1.2-2+b3_s390x.deb
   BIN libcvc5-dev_1.1.2-3_amd64.deb
   BIN libcvc5-dev_1.1.2-3_arm64.deb
   BIN libcvc5-dev_1.1.2-3_armhf.deb
   BIN libcvc5-dev_1.1.2-3_i386.deb
   BIN libcvc5-dev_1.1.2-3_ppc64el.deb
   BIN libcvc5-dev_1.1.2-3_riscv64.deb
   BIN libcvc5-dev_1.1.2-3_s390x.deb
   BIN libcvc5-dev_1.3.2-1_amd64.deb
   BIN libcvc5-dev_1.3.2-1_arm64.deb
   BIN libcvc5-dev_1.3.2-1_armhf.deb
   BIN libcvc5-dev_1.3.2-1_i386.deb
   BIN libcvc5-dev_1.3.2-1_loong64.deb
   BIN libcvc5-dev_1.3.2-1_ppc64el.deb
   BIN libcvc5-dev_1.3.2-1_riscv64.deb
   BIN libcvc5-dev_1.3.2-1_s390x.deb
   BIN libcvc5parser1_1.0.3-1_amd64.deb
   BIN libcvc5parser1_1.0.3-1_arm64.deb
   BIN libcvc5parser1_1.0.3-1_ppc64el.deb
   BIN libcvc5parser1_1.0.3-1_s390x.deb
   BIN libcvc5parser1_1.1.2-2+b3_amd64.deb
   BIN libcvc5parser1_1.1.2-2+b3_arm64.deb
   BIN libcvc5parser1_1.1.2-2+b3_armel.deb
   BIN libcvc5parser1_1.1.2-2+b3_armhf.deb
   BIN libcvc5parser1_1.1.2-2+b3_i386.deb
   BIN libcvc5parser1_1.1.2-2+b3_ppc64el.deb
   BIN libcvc5parser1_1.1.2-2+b3_riscv64.deb
   BIN libcvc5parser1_1.1.2-2+b3_s390x.deb
   BIN libcvc5parser1_1.1.2-3_amd64.deb
   BIN libcvc5parser1_1.1.2-3_arm64.deb
   BIN libcvc5parser1_1.1.2-3_armhf.deb
   BIN libcvc5parser1_1.1.2-3_i386.deb
   BIN libcvc5parser1_1.1.2-3_ppc64el.deb
   BIN libcvc5parser1_1.1.2-3_riscv64.deb
   BIN libcvc5parser1_1.1.2-3_s390x.deb
   BIN libcvc5parser1_1.3.2-1_amd64.deb
   BIN libcvc5parser1_1.3.2-1_arm64.deb
   BIN libcvc5parser1_1.3.2-1_armhf.deb
   BIN libcvc5parser1_1.3.2-1_i386.deb
   BIN libcvc5parser1_1.3.2-1_loong64.deb
   BIN libcvc5parser1_1.3.2-1_ppc64el.deb
   BIN libcvc5parser1_1.3.2-1_riscv64.deb
   BIN libcvc5parser1_1.3.2-1_s390x.deb
   BIN python3-cvc5_1.1.2-2+b3_amd64.deb
   BIN python3-cvc5_1.1.2-2+b3_arm64.deb
   BIN python3-cvc5_1.1.2-2+b3_armel.deb
   BIN python3-cvc5_1.1.2-2+b3_armhf.deb
   BIN python3-cvc5_1.1.2-2+b3_i386.deb
   BIN python3-cvc5_1.1.2-2+b3_ppc64el.deb
   BIN python3-cvc5_1.1.2-2+b3_riscv64.deb
   BIN python3-cvc5_1.1.2-2+b3_s390x.deb
   BIN python3-cvc5_1.1.2-3_amd64.deb
   BIN python3-cvc5_1.1.2-3_arm64.deb
   BIN python3-cvc5_1.1.2-3_armhf.deb
   BIN python3-cvc5_1.1.2-3_i386.deb
   BIN python3-cvc5_1.1.2-3_ppc64el.deb
   BIN python3-cvc5_1.1.2-3_riscv64.deb
   BIN python3-cvc5_1.1.2-3_s390x.deb
   BIN python3-cvc5_1.3.2-1_amd64.deb
   BIN python3-cvc5_1.3.2-1_arm64.deb
   BIN python3-cvc5_1.3.2-1_armhf.deb
   BIN python3-cvc5_1.3.2-1_i386.deb
   BIN python3-cvc5_1.3.2-1_loong64.deb
   BIN python3-cvc5_1.3.2-1_ppc64el.deb
   BIN python3-cvc5_1.3.2-1_riscv64.deb
   BIN python3-cvc5_1.3.2-1_s390x.deb