Index of /buildinfo-pool/b/btor2tools

	Name	Last modified	Size	Description
	Parent Directory		-
	btor2tools_1.0.2~git20250507.fb69ee3-1_amd64-source.buildinfo	2025-08-23 05:08	8.3K
	btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.buildinfo	2026-01-29 22:23	8.0K
	btor2tools_1.0.2~git20250507.fb69ee3-1_arm64.buildinfo	2026-01-29 22:13	8.0K
	btor2tools_1.0.2~git20250507.fb69ee3-1_armhf.buildinfo	2026-01-29 22:13	7.8K
	btor2tools_1.0.2~git20250507.fb69ee3-1_i386.buildinfo	2026-01-29 22:29	7.9K
	btor2tools_1.0.2~git20250507.fb69ee3-1_ppc64el.buildinfo	2026-01-29 22:23	8.0K
	btor2tools_1.0.2~git20250507.fb69ee3-1_riscv64.buildinfo	2026-01-30 02:06	7.9K
	btor2tools_1.0.2~git20250507.fb69ee3-1_s390x.buildinfo	2026-01-29 22:39	7.9K
	btor2tools_1.0.2~git20250507.fb69ee3-2_amd64-source.buildinfo	2026-01-30 14:16	8.3K
	btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.buildinfo	2026-01-30 15:01	8.0K
	btor2tools_1.0.2~git20250507.fb69ee3-2_arm64.buildinfo	2026-01-30 15:01	8.0K
	btor2tools_1.0.2~git20250507.fb69ee3-2_armhf.buildinfo	2026-01-30 15:01	7.8K
	btor2tools_1.0.2~git20250507.fb69ee3-2_i386.buildinfo	2026-01-30 15:01	7.9K
	btor2tools_1.0.2~git20250507.fb69ee3-2_loong64.buildinfo	2026-01-30 15:07	7.9K
	btor2tools_1.0.2~git20250507.fb69ee3-2_ppc64el.buildinfo	2026-01-30 15:01	8.0K
	btor2tools_1.0.2~git20250507.fb69ee3-2_riscv64.buildinfo	2026-01-30 16:22	7.9K
	btor2tools_1.0.2~git20250507.fb69ee3-2_s390x.buildinfo	2026-01-30 15:01	7.9K