Index of /debian/pool/main/b/btor2tools/

NameLast ModifiedSizeType
../ -  Directory
btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz2026-Jan-30 15:16:193.3Kapplication/octet-stream
btor2tools_1.0.2~git20250507.fb69ee3-2.dsc2026-Jan-30 15:16:192.2Kapplication/octet-stream
btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.deb2026-Jan-30 16:01:5165.0Kapplication/octet-stream
btor2tools_1.0.2~git20250507.fb69ee3-2_i386.deb2026-Jan-30 16:01:4770.5Kapplication/octet-stream
btor2tools_1.0.2~git20250507.fb69ee3-2_loong64.deb2026-Jan-30 16:07:1164.8Kapplication/octet-stream
btor2tools_1.0.2~git20250507.fb69ee3-2_riscv64.deb2026-Jan-30 17:22:4461.0Kapplication/octet-stream
btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz2025-Aug-23 07:08:4661.1Kapplication/octet-stream
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_amd64.deb2026-Jan-30 16:01:5117.2Kapplication/octet-stream
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_i386.deb2026-Jan-30 16:01:4720.1Kapplication/octet-stream
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_loong64.deb2026-Jan-30 16:07:1144.4Kapplication/octet-stream
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_riscv64.deb2026-Jan-30 17:22:4448.7Kapplication/octet-stream
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd64.deb2026-Jan-30 16:01:5115.4Kapplication/octet-stream
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_i386.deb2026-Jan-30 16:01:4718.1Kapplication/octet-stream
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_loong64.deb2026-Jan-30 16:07:1116.1Kapplication/octet-stream
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_riscv64.deb2026-Jan-30 17:22:4416.4Kapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences