../ verilator_5.012-1+b1_amd64.deb 06-Aug-2023 08:11 7M verilator_5.012-1+b1_arm64.deb 06-Aug-2023 13:20 7M verilator_5.012-1+b1_armel.deb 06-Aug-2023 22:29 6M verilator_5.012-1+b1_armhf.deb 06-Aug-2023 17:58 7M verilator_5.012-1+b1_i386.deb 06-Aug-2023 11:14 8M verilator_5.012-1.debian.tar.xz 03-Jul-2023 05:48 13K verilator_5.012-1.dsc 03-Jul-2023 05:48 1898 verilator_5.012.orig.tar.gz 03-Jul-2023 05:48 3M