1. btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz
2. btor2tools_1.0.2~git20250507.fb69ee3-1.dsc
3. btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz
4. btor2tools_1.0.2~git20250507.fb69ee3-2.dsc
5. btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.deb
6. btor2tools_1.0.2~git20250507.fb69ee3-2_i386.deb
7. btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
8. libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_amd64.deb
9. libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_i386.deb
10. libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd64.deb
11. libbtor2parser0_1.0.2~git20250507.fb69ee3-2_i386.deb