Index of /buildinfo-pool/b/btor2tools

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]btor2tools_1.0.2~git20250918.d33c73f-1_riscv64.buildinfo2026-03-04 16:21 7.8K 
[ ]btor2tools_1.0.2~git20250918.d33c73f-1_s390x.buildinfo2026-03-04 14:45 7.8K 
[ ]btor2tools_1.0.2~git20250918.d33c73f-1_amd64.buildinfo2026-03-04 14:45 7.9K 
[ ]btor2tools_1.0.2~git20250918.d33c73f-1_i386.buildinfo2026-03-04 14:45 7.7K 
[ ]btor2tools_1.0.2~git20250918.d33c73f-1_armhf.buildinfo2026-03-04 14:45 7.7K 
[ ]btor2tools_1.0.2~git20250918.d33c73f-1_arm64.buildinfo2026-03-04 14:45 7.9K 
[ ]btor2tools_1.0.2~git20250918.d33c73f-1_ppc64el.buildinfo2026-03-04 14:45 7.9K 
[ ]btor2tools_1.0.2~git20250918.d33c73f-1_loong64.buildinfo2026-03-04 14:45 7.9K 
[ ]btor2tools_1.0.2~git20250918.d33c73f-1_amd64-source.buildinfo2026-03-04 14:20 8.2K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_riscv64.buildinfo2026-01-30 16:22 7.9K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_loong64.buildinfo2026-01-30 15:07 7.9K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_armhf.buildinfo2026-01-30 15:01 7.8K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_ppc64el.buildinfo2026-01-30 15:01 8.0K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.buildinfo2026-01-30 15:01 8.0K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_arm64.buildinfo2026-01-30 15:01 8.0K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_i386.buildinfo2026-01-30 15:01 7.9K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_s390x.buildinfo2026-01-30 15:01 7.9K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_amd64-source.buildinfo2026-01-30 14:16 8.3K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-1_riscv64.buildinfo2026-01-30 02:06 7.9K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-1_s390x.buildinfo2026-01-29 22:39 7.9K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-1_i386.buildinfo2026-01-29 22:29 7.9K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-1_ppc64el.buildinfo2026-01-29 22:23 8.0K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.buildinfo2026-01-29 22:23 8.0K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-1_arm64.buildinfo2026-01-29 22:13 8.0K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-1_armhf.buildinfo2026-01-29 22:13 7.8K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-1_amd64-source.buildinfo2025-08-23 05:08 8.3K 
Apache/2.4.66 (Debian) Server at buildinfos.debian.net Port 443