Index of /pool/universe/b/btor2tools

	Name	Last modified	Size
	Parent Directory		-
	btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz	2026-05-15 11:28	3.5K
	btor2tools_1.0.2~git20250918.d33c73f-1.dsc	2026-05-15 11:28	2.2K
	btor2tools_1.0.2~git20250918.d33c73f-1_arm64.deb	2026-05-15 12:15	63K
	btor2tools_1.0.2~git20250918.d33c73f-1_armhf.deb	2026-05-15 12:15	60K
	btor2tools_1.0.2~git20250918.d33c73f-1_ppc64el.deb	2026-05-15 12:35	67K
	btor2tools_1.0.2~git20250918.d33c73f-1_riscv64.deb	2026-05-15 15:44	69K
	btor2tools_1.0.2~git20250918.d33c73f-1_s390x.deb	2026-05-15 13:21	69K
	btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz	2026-05-15 11:28	61K
	libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_arm64.deb	2026-05-15 12:15	19K
	libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_armhf.deb	2026-05-15 12:15	19K
	libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_ppc64el.deb	2026-05-15 12:35	24K
	libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_riscv64.deb	2026-05-15 15:44	61K
	libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_s390x.deb	2026-05-15 13:21	19K
	libbtor2parser0_1.0.2~git20250918.d33c73f-1_arm64.deb	2026-05-15 12:15	17K
	libbtor2parser0_1.0.2~git20250918.d33c73f-1_armhf.deb	2026-05-15 12:15	17K
	libbtor2parser0_1.0.2~git20250918.d33c73f-1_ppc64el.deb	2026-05-15 12:35	22K
	libbtor2parser0_1.0.2~git20250918.d33c73f-1_riscv64.deb	2026-05-15 15:44	19K
	libbtor2parser0_1.0.2~git20250918.d33c73f-1_s390x.deb	2026-05-15 13:21	18K