../ verilator_5.042-1.debian.tar.xz 05-Nov-2025 20:20 13K verilator_5.042-1.dsc 05-Nov-2025 20:20 1961 verilator_5.042-1_amd64.deb 05-Nov-2025 21:51 9M verilator_5.042-1_arm64.deb 05-Nov-2025 21:51 8M verilator_5.042.orig.tar.gz 05-Nov-2025 20:20 5M