[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/debian/pool/main/b/btor2tools/
File Name  ↓ File Size  ↓ Date  ↓ 
./-2026-Feb-01 14:19
../-2026-Jan-29 21:25
btor2tools_1.0.2~git20250507.fb69ee3-1.debian.ta..>3.0 KiB2025-Aug-23 05:08
btor2tools_1.0.2~git20250507.fb69ee3-1.dsc2.2 KiB2025-Aug-23 05:08
btor2tools_1.0.2~git20250507.fb69ee3-1_riscv64.deb60.7 KiB2026-Jan-30 02:06
btor2tools_1.0.2~git20250507.fb69ee3-2.debian.ta..>3.3 KiB2026-Jan-30 14:16
btor2tools_1.0.2~git20250507.fb69ee3-2.dsc2.2 KiB2026-Jan-30 14:16
btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.deb65.0 KiB2026-Jan-30 15:01
btor2tools_1.0.2~git20250507.fb69ee3-2_arm64.deb60.8 KiB2026-Jan-30 15:01
btor2tools_1.0.2~git20250507.fb69ee3-2_armhf.deb55.6 KiB2026-Jan-30 15:01
btor2tools_1.0.2~git20250507.fb69ee3-2_i386.deb70.6 KiB2026-Jan-30 15:01
btor2tools_1.0.2~git20250507.fb69ee3-2_loong64.deb64.9 KiB2026-Jan-30 15:07
btor2tools_1.0.2~git20250507.fb69ee3-2_riscv64.deb61.0 KiB2026-Jan-30 16:22
btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz61.2 KiB2025-Aug-23 05:08
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_r..>48.4 KiB2026-Jan-30 02:06
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_a..>17.3 KiB2026-Jan-30 15:01
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_a..>17.2 KiB2026-Jan-30 15:01
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_a..>17.7 KiB2026-Jan-30 15:01
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_i..>20.2 KiB2026-Jan-30 15:01
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_l..>44.4 KiB2026-Jan-30 15:07
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_r..>48.8 KiB2026-Jan-30 16:22
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_risc..>16.2 KiB2026-Jan-30 02:06
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd6..>15.5 KiB2026-Jan-30 15:01
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_arm6..>15.2 KiB2026-Jan-30 15:01
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_armh..>15.5 KiB2026-Jan-30 15:01
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_i386..>18.1 KiB2026-Jan-30 15:01
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_loon..>16.1 KiB2026-Jan-30 15:07
libbtor2parser0_1.0.2~git20250507.fb69ee3-2_risc..>16.5 KiB2026-Jan-30 16:22

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