File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_riscv64.deb	16.2 KiB	2026-01-30 04:06
btor2tools_1.0.2~git20250507.fb69ee3-1_riscv64.deb	60.7 KiB	2026-01-30 04:06
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_riscv64.deb	48.4 KiB	2026-01-30 04:06
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_i386.deb	17.8 KiB	2026-01-30 00:29
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_i386.deb	19.9 KiB	2026-01-30 00:29
btor2tools_1.0.2~git20250507.fb69ee3-1_i386.deb	70.3 KiB	2026-01-30 00:29
btor2tools_1.0.2~git20250507.fb69ee3-1_ppc64el.deb	66.2 KiB	2026-01-30 00:23
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_ppc64el.deb	19.1 KiB	2026-01-30 00:23
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_ppc64el.deb	21.0 KiB	2026-01-30 00:23
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb	17.0 KiB	2026-01-30 00:23
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb	15.2 KiB	2026-01-30 00:23
btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb	64.8 KiB	2026-01-30 00:23
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_arm64.deb	16.9 KiB	2026-01-30 00:13
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_arm64.deb	15.0 KiB	2026-01-30 00:13
btor2tools_1.0.2~git20250507.fb69ee3-1_arm64.deb	60.4 KiB	2026-01-30 00:13
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_armhf.deb	15.3 KiB	2026-01-30 00:13
btor2tools_1.0.2~git20250507.fb69ee3-1_armhf.deb	55.3 KiB	2026-01-30 00:13
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_armhf.deb	17.4 KiB	2026-01-30 00:13
btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz	61.2 KiB	2025-08-23 07:08
btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz	3.0 KiB	2025-08-23 07:08
btor2tools_1.0.2~git20250507.fb69ee3-1.dsc	2.2 KiB	2025-08-23 07:08