Studenten Net Twente Mirror service

Index of /pub/linux/debian/pool/main/b/btor2tools/

Filename Modification time Size
btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz 3096 B
btor2tools_1.0.2~git20250507.fb69ee3-1.dsc 2264 B
btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb 65 KiB
btor2tools_1.0.2~git20250507.fb69ee3-1_arm64.deb 60 KiB
btor2tools_1.0.2~git20250507.fb69ee3-1_armhf.deb 55 KiB
btor2tools_1.0.2~git20250507.fb69ee3-1_i386.deb 70 KiB
btor2tools_1.0.2~git20250507.fb69ee3-1_ppc64el.deb 66 KiB
btor2tools_1.0.2~git20250507.fb69ee3-1_riscv64.deb 61 KiB
btor2tools_1.0.2~git20250507.fb69ee3-1_s390x.deb 66 KiB
btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz 3412 B
btor2tools_1.0.2~git20250507.fb69ee3-2.dsc 2264 B
btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.deb 65 KiB
btor2tools_1.0.2~git20250507.fb69ee3-2_arm64.deb 61 KiB
btor2tools_1.0.2~git20250507.fb69ee3-2_armhf.deb 56 KiB
btor2tools_1.0.2~git20250507.fb69ee3-2_i386.deb 71 KiB
btor2tools_1.0.2~git20250507.fb69ee3-2_loong64.deb 65 KiB
btor2tools_1.0.2~git20250507.fb69ee3-2_ppc64el.deb 66 KiB
btor2tools_1.0.2~git20250507.fb69ee3-2_riscv64.deb 61 KiB
btor2tools_1.0.2~git20250507.fb69ee3-2_s390x.deb 66 KiB
btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz 61 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb 17 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_arm64.deb 17 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_armhf.deb 17 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_i386.deb 20 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_ppc64el.deb 21 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_riscv64.deb 48 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_s390x.deb 17 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_amd64.deb 17 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_arm64.deb 17 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_armhf.deb 18 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_i386.deb 20 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_loong64.deb 44 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_ppc64el.deb 21 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_riscv64.deb 49 KiB
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_s390x.deb 18 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb 15 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_arm64.deb 15 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_armhf.deb 15 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_i386.deb 18 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_ppc64el.deb 19 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_riscv64.deb 16 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_s390x.deb 15 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd64.deb 15 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_arm64.deb 15 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_armhf.deb 16 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_i386.deb 18 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_loong64.deb 16 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_ppc64el.deb 19 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_riscv64.deb 16 KiB
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_s390x.deb 15 KiB