BIN elpa-fricas_1.3.11-3_all.deb
   BIN elpa-fricas_1.3.12-2_all.deb
   BIN elpa-fricas_1.3.6-6_all.deb
   BIN elpa-fricas_1.3.8-6_all.deb
   BIN fricas-databases_1.3.11-3_all.deb
   BIN fricas-databases_1.3.12-2_all.deb
   BIN fricas-databases_1.3.6-6_all.deb
   BIN fricas-databases_1.3.8-6_all.deb
   BIN fricas-doc_1.3.11-3_all.deb
   BIN fricas-doc_1.3.12-2_all.deb
   BIN fricas-doc_1.3.6-6_all.deb
   BIN fricas-doc_1.3.8-6_all.deb
   BIN fricas-graphics-data_1.3.11-3_all.deb
   BIN fricas-graphics-data_1.3.12-2_all.deb
   BIN fricas-graphics-data_1.3.6-6_all.deb
   BIN fricas-graphics-data_1.3.8-6_all.deb
   BIN fricas-graphics_1.3.11-3_amd64.deb
   BIN fricas-graphics_1.3.11-3_arm64.deb
   BIN fricas-graphics_1.3.11-3_armel.deb
   BIN fricas-graphics_1.3.11-3_armhf.deb
   BIN fricas-graphics_1.3.11-3_i386.deb
   BIN fricas-graphics_1.3.11-3_ppc64el.deb
   BIN fricas-graphics_1.3.11-3_riscv64.deb
   BIN fricas-graphics_1.3.11-3_s390x.deb
   BIN fricas-graphics_1.3.12-2_amd64.deb
   BIN fricas-graphics_1.3.12-2_arm64.deb
   BIN fricas-graphics_1.3.12-2_armhf.deb
   BIN fricas-graphics_1.3.12-2_i386.deb
   BIN fricas-graphics_1.3.12-2_loong64.deb
   BIN fricas-graphics_1.3.12-2_ppc64el.deb
   BIN fricas-graphics_1.3.12-2_riscv64.deb
   BIN fricas-graphics_1.3.12-2_s390x.deb
   BIN fricas-graphics_1.3.6-6_amd64.deb
   BIN fricas-graphics_1.3.6-6_arm64.deb
   BIN fricas-graphics_1.3.6-6_armhf.deb
   BIN fricas-graphics_1.3.6-6_i386.deb
   BIN fricas-graphics_1.3.8-6_amd64.deb
   BIN fricas-graphics_1.3.8-6_arm64.deb
   BIN fricas-graphics_1.3.8-6_armel.deb
   BIN fricas-graphics_1.3.8-6_armhf.deb
   BIN fricas-graphics_1.3.8-6_i386.deb
   BIN fricas-graphics_1.3.8-6_mips64el.deb
   BIN fricas-graphics_1.3.8-6_mipsel.deb
   BIN fricas-graphics_1.3.8-6_ppc64el.deb
   BIN fricas-graphics_1.3.8-6_s390x.deb
   BIN fricas-hypertex-data_1.3.11-3_all.deb
   BIN fricas-hypertex-data_1.3.12-2_all.deb
   BIN fricas-hypertex-data_1.3.6-6_all.deb
   BIN fricas-hypertex-data_1.3.8-6_all.deb
   BIN fricas-hypertex_1.3.11-3_amd64.deb
   BIN fricas-hypertex_1.3.11-3_arm64.deb
   BIN fricas-hypertex_1.3.11-3_armel.deb
   BIN fricas-hypertex_1.3.11-3_armhf.deb
   BIN fricas-hypertex_1.3.11-3_i386.deb
   BIN fricas-hypertex_1.3.11-3_ppc64el.deb
   BIN fricas-hypertex_1.3.11-3_riscv64.deb
   BIN fricas-hypertex_1.3.11-3_s390x.deb
   BIN fricas-hypertex_1.3.12-2_amd64.deb
   BIN fricas-hypertex_1.3.12-2_arm64.deb
   BIN fricas-hypertex_1.3.12-2_armhf.deb
   BIN fricas-hypertex_1.3.12-2_i386.deb
   BIN fricas-hypertex_1.3.12-2_loong64.deb
   BIN fricas-hypertex_1.3.12-2_ppc64el.deb
   BIN fricas-hypertex_1.3.12-2_riscv64.deb
   BIN fricas-hypertex_1.3.12-2_s390x.deb
   BIN fricas-hypertex_1.3.6-6_amd64.deb
   BIN fricas-hypertex_1.3.6-6_arm64.deb
   BIN fricas-hypertex_1.3.6-6_armhf.deb
   BIN fricas-hypertex_1.3.6-6_i386.deb
   BIN fricas-hypertex_1.3.8-6_amd64.deb
   BIN fricas-hypertex_1.3.8-6_arm64.deb
   BIN fricas-hypertex_1.3.8-6_armel.deb
   BIN fricas-hypertex_1.3.8-6_armhf.deb
   BIN fricas-hypertex_1.3.8-6_i386.deb
   BIN fricas-hypertex_1.3.8-6_mips64el.deb
   BIN fricas-hypertex_1.3.8-6_mipsel.deb
   BIN fricas-hypertex_1.3.8-6_ppc64el.deb
   BIN fricas-hypertex_1.3.8-6_s390x.deb
   BIN fricas-source_1.3.11-3_all.deb
   BIN fricas-source_1.3.12-2_all.deb
   BIN fricas-source_1.3.6-6_all.deb
   BIN fricas-source_1.3.8-6_all.deb
   BIN fricas-test_1.3.11-3_all.deb
   BIN fricas-test_1.3.12-2_all.deb
   BIN fricas-test_1.3.6-6_all.deb
   BIN fricas-test_1.3.8-6_all.deb
   BIN fricas_1.3.11-3.debian.tar.xz
  TEXT fricas_1.3.11-3.dsc
   BIN fricas_1.3.11-3_amd64.deb
   BIN fricas_1.3.11-3_arm64.deb
   BIN fricas_1.3.11-3_armel.deb
   BIN fricas_1.3.11-3_armhf.deb
   BIN fricas_1.3.11-3_i386.deb
   BIN fricas_1.3.11-3_ppc64el.deb
   BIN fricas_1.3.11-3_riscv64.deb
   BIN fricas_1.3.11-3_s390x.deb
   BIN fricas_1.3.11.orig.tar.bz2
   BIN fricas_1.3.12-2.debian.tar.xz
  TEXT fricas_1.3.12-2.dsc
   BIN fricas_1.3.12-2_amd64.deb
   BIN fricas_1.3.12-2_arm64.deb
   BIN fricas_1.3.12-2_armhf.deb
   BIN fricas_1.3.12-2_i386.deb
   BIN fricas_1.3.12-2_loong64.deb
   BIN fricas_1.3.12-2_ppc64el.deb
   BIN fricas_1.3.12-2_riscv64.deb
   BIN fricas_1.3.12-2_s390x.deb
   BIN fricas_1.3.12.orig.tar.bz2
   BIN fricas_1.3.6-6.debian.tar.xz
  TEXT fricas_1.3.6-6.dsc
   BIN fricas_1.3.6-6_amd64.deb
   BIN fricas_1.3.6-6_arm64.deb
   BIN fricas_1.3.6-6_armhf.deb
   BIN fricas_1.3.6-6_i386.deb
   BIN fricas_1.3.6.orig.tar.bz2
   BIN fricas_1.3.8-6.debian.tar.xz
  TEXT fricas_1.3.8-6.dsc
   BIN fricas_1.3.8-6_amd64.deb
   BIN fricas_1.3.8-6_arm64.deb
   BIN fricas_1.3.8-6_armel.deb
   BIN fricas_1.3.8-6_armhf.deb
   BIN fricas_1.3.8-6_i386.deb
   BIN fricas_1.3.8-6_mips64el.deb
   BIN fricas_1.3.8-6_mipsel.deb
   BIN fricas_1.3.8-6_ppc64el.deb
   BIN fricas_1.3.8-6_s390x.deb
   BIN fricas_1.3.8.orig.tar.bz2