| Parent directory/ | - | - |
| btor2tools_1.0.2~git20250507.fb69ee3-2_riscv64.deb | 62468 | 2026-Jan-30 16:22 |
| libbtor2parser0_1.0.2~git20250507.fb69ee3-2_riscv64.deb | 16876 | 2026-Jan-30 16:22 |
| libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_riscv64.deb | 49924 | 2026-Jan-30 16:22 |
| btor2tools_1.0.2~git20250507.fb69ee3-2_loong64.deb | 66428 | 2026-Jan-30 15:07 |
| libbtor2parser0_1.0.2~git20250507.fb69ee3-2_loong64.deb | 16516 | 2026-Jan-30 15:07 |
| libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_loong64.deb | 45472 | 2026-Jan-30 15:07 |
| btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.deb | 66596 | 2026-Jan-30 15:01 |
| libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_amd64.deb | 17668 | 2026-Jan-30 15:01 |
| libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd64.deb | 15848 | 2026-Jan-30 15:01 |
| libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_i386.deb | 20644 | 2026-Jan-30 15:01 |
| btor2tools_1.0.2~git20250507.fb69ee3-2_i386.deb | 72264 | 2026-Jan-30 15:01 |
| libbtor2parser0_1.0.2~git20250507.fb69ee3-2_i386.deb | 18560 | 2026-Jan-30 15:01 |
| btor2tools_1.0.2~git20250507.fb69ee3-2.dsc | 2264 | 2026-Jan-30 14:16 |
| btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz | 3412 | 2026-Jan-30 14:16 |
| btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz | 62652 | 2025-Aug-23 05:08 |