[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz2026-01-31 00:31 3.3KTAR compressed archive
[TXT]btor2tools_1.0.2~git20250507.fb69ee3-2.dsc2026-01-31 00:31 2.2K 
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.deb2026-01-31 01:34 62KDebian Software Package
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_amd64v3.deb2026-01-31 01:34 70KDebian Software Package
[ ]btor2tools_1.0.2~git20250507.fb69ee3-2_arm64.deb2026-01-31 01:34 63KDebian Software Package
[ ]btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz2026-01-30 09:57 61KTAR compressed archive
[ ]libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_amd64.deb2026-01-31 01:34 18KDebian Software Package
[ ]libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_amd64v3.deb2026-01-31 01:34 19KDebian Software Package
[ ]libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_arm64.deb2026-01-31 01:34 19KDebian Software Package
[ ]libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd64.deb2026-01-31 01:34 17KDebian Software Package
[ ]libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd64v3.deb2026-01-31 01:34 17KDebian Software Package
[ ]libbtor2parser0_1.0.2~git20250507.fb69ee3-2_arm64.deb2026-01-31 01:34 17KDebian Software Package