../ iverilog_0.9.7-1_amd64.deb 13-Sep-2013 19:33 1424914 iverilog_0.9.7-1_i386.deb 13-Sep-2013 19:13 1412032 verilog_0.9.7-1_all.deb 13-Sep-2013 19:13 2632