../ iverilog_12.0-2+b1_amd64.deb 11-Jun-2026 22:03 2046080 iverilog_12.0-2+b2_riscv64.deb 11-Jun-2026 22:03 2043540 iverilog_12.0-2.debian.tar.xz 11-Jun-2026 22:03 8172 iverilog_12.0-2.dsc 11-Jun-2026 22:03 1728 iverilog_12.0.orig.tar.gz 11-Jun-2026 22:03 2995096