[NLUUG]

Welcome to ftp.nluug.nl

The large public mirror server for open source projects hosted by NLUUG and Surfnet

/pub/ftp/os/Linux/distr/kali/pool/main/b/btor2tools/

File Name ↓	File Size ↓	Date ↓
./	-	2026-Mar-10 06:20
../	-	2026-Mar-13 12:00
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
btor2tools_1.0.2~git20250918.d33c73f-1_amd64.deb	64.6 KiB	2026-Mar-04 14:45
btor2tools_1.0.2~git20250918.d33c73f-1_arm64.deb	60.2 KiB	2026-Mar-04 14:45
btor2tools_1.0.2~git20250918.d33c73f-1_armhf.deb	55.3 KiB	2026-Mar-04 14:45
btor2tools_1.0.2~git20250918.d33c73f-1_i386.deb	70.3 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_a..>	17.3 KiB	2026-Mar-04 14:45
libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_a..>	17.3 KiB	2026-Mar-04 14:45
libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_a..>	17.9 KiB	2026-Mar-04 14:45
libbtor2parser-dev_1.0.2~git20250918.d33c73f-1_i..>	20.3 KiB	2026-Mar-04 14:45
libbtor2parser0_1.0.2~git20250918.d33c73f-1_amd6..>	15.6 KiB	2026-Mar-04 14:45
libbtor2parser0_1.0.2~git20250918.d33c73f-1_arm6..>	15.4 KiB	2026-Mar-04 14:45
libbtor2parser0_1.0.2~git20250918.d33c73f-1_armh..>	15.7 KiB	2026-Mar-04 14:45
libbtor2parser0_1.0.2~git20250918.d33c73f-1_i386..>	18.3 KiB	2026-Mar-04 14:45

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!