Name				Size	Modified
----				----	--------
verilator_5.020-1.debian.tar.xz	12 KiB	September 9, 2024 at 16:40:33
verilator_5.020-1.dsc		2.1 KiB	September 9, 2024 at 16:40:33
verilator_5.020-1_amd64.deb	6.1 MiB	September 9, 2024 at 16:40:33
verilator_5.020.orig.tar.gz	3.7 MiB	September 9, 2024 at 16:40:33
verilator_5.024-1_amd64.deb	1.4 MiB	September 9, 2024 at 16:40:33