/debian/pool/main/b/btor2tools/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
btor2tools_1.0.2~git20250918.d33c73f-1_i386.deb	70.3 KiB	2026-Mar-04 14:45
btor2tools_1.0.2~git20250918.d33c73f-1_amd64.deb	64.6 KiB	2026-Mar-04 14:45
btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz	61.2 KiB	2026-Mar-04 14:20
libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_i..>	20.3 KiB	2026-Mar-04 14:45
libbtor2parser0_1.0.2~git20250918.d33c73f-1_i386..>	18.3 KiB	2026-Mar-04 14:45
libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_a..>	17.3 KiB	2026-Mar-04 14:45
libbtor2parser0_1.0.2~git20250918.d33c73f-1_amd6..>	15.6 KiB	2026-Mar-04 14:45
btor2tools_1.0.2~git20250918.d33c73f-1.debian.ta..>	3.5 KiB	2026-Mar-04 14:20
btor2tools_1.0.2~git20250918.d33c73f-1.dsc	2.2 KiB	2026-Mar-04 14:20