../ iverilog_0.9.7-1_amd64.deb 28-May-2020 21:27 1424914 iverilog_10.1-0.1build1_amd64.deb 28-May-2020 18:07 1811452 verilog_0.9.7-1_all.deb 28-May-2020 21:49 2632 verilog_10.1-0.1build1_all.deb 28-May-2020 18:07 2640