../ verilator_5.020-1.debian.tar.xz 13-Jan-2024 09:13 12K verilator_5.020-1.dsc 13-Jan-2024 09:13 2198 verilator_5.020-1_amd64.deb 13-Jan-2024 09:44 7M verilator_5.020-1_arm64.deb 13-Jan-2024 09:49 6M verilator_5.020-1_armel.deb 13-Jan-2024 09:44 5M verilator_5.020-1_armhf.deb 13-Jan-2024 10:04 5M verilator_5.020-1_i386.deb 13-Jan-2024 09:49 7M verilator_5.020.orig.tar.gz 13-Jan-2024 09:13 4M