Index of /ubuntu/pool/universe/b/btor2tools

	Name	Last modified	Size	Description
	Parent Directory		-
	btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz	2026-05-15 07:28	3.5K
	btor2tools_1.0.2~git20250918.d33c73f-1.dsc	2026-05-15 07:28	2.2K
	btor2tools_1.0.2~git20250918.d33c73f-1_amd64.deb	2026-05-15 07:59	62K
	btor2tools_1.0.2~git20250918.d33c73f-1_amd64v3.deb	2026-05-15 07:59	69K
	btor2tools_1.0.2~git20250918.d33c73f-1_arm64.deb	2026-05-15 08:15	63K
	btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz	2026-05-15 07:28	61K
	btor2tools_1.0.3-1.debian.tar.xz	2026-11-07 16:59	3.4K
	btor2tools_1.0.3-1.dsc	2026-11-07 16:59	2.1K
	btor2tools_1.0.3-1_amd64.deb	2026-11-07 21:00	62K
	btor2tools_1.0.3-1_amd64v3.deb	2026-11-07 21:03	69K
	btor2tools_1.0.3.orig.tar.gz	2026-11-07 16:59	86K
	libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_amd64.deb	2026-05-15 07:59	18K
	libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_amd64v3.deb	2026-05-15 07:59	19K
	libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_arm64.deb	2026-05-15 08:15	19K
	libbtor2parser-dev_1.0.3-1_amd64.deb	2026-11-07 21:00	18K
	libbtor2parser-dev_1.0.3-1_amd64v3.deb	2026-11-07 21:03	19K
	libbtor2parser0_1.0.2~git20250918.d33c73f-1_amd64.deb	2026-05-15 07:59	17K
	libbtor2parser0_1.0.2~git20250918.d33c73f-1_amd64v3.deb	2026-05-15 07:59	18K
	libbtor2parser0_1.0.2~git20250918.d33c73f-1_arm64.deb	2026-05-15 08:15	17K
	libbtor2parser0_1.0.3-1_amd64.deb	2026-11-07 21:00	17K
	libbtor2parser0_1.0.3-1_amd64v3.deb	2026-11-07 21:03	18K