/debian-ports/pool-x32/main/v/verilator/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
verilator-dbgsym_4.038-1_x32.deb76.1 MiB27.08.2020 12:04
verilator_4.038-1_x32.buildinfo5.7 KiB27.08.2020 12:04
verilator_4.038-1_x32.deb3.8 MiB27.08.2020 12:04