../ verilator_5.020-1.debian.tar.xz 13-Jan-2024 09:13 12360 verilator_5.020-1.dsc 13-Jan-2024 09:13 2198 verilator_5.020-1_amd64.deb 13-Jan-2024 09:44 6885556 verilator_5.020-1_arm64.deb 13-Jan-2024 09:49 6251864 verilator_5.020-1_armel.deb 13-Jan-2024 09:44 5738740 verilator_5.020-1_armhf.deb 13-Jan-2024 10:04 5598496 verilator_5.020-1_i386.deb 13-Jan-2024 09:49 6896072 verilator_5.020.orig.tar.gz 13-Jan-2024 09:13 3827346