../ verilator-dbgsym_4.038-1_powerpc.deb 27-Aug-2020 21:04 78M verilator_4.038-1_powerpc.buildinfo 27-Aug-2020 21:04 5774 verilator_4.038-1_powerpc.deb 27-Aug-2020 21:04 4M