Index of /debian/pool/main/v/verilator
Name
Last modified
Size
Description
Parent Directory
-
verilator_4.038-1.dsc
2020-08-27 06:58
1.7K
verilator_4.038-1.debian.tar.xz
2020-08-27 06:58
9.4K
verilator_4.038.orig.tar.gz
2020-08-27 06:58
2.6M
verilator_4.038-1_amd64.deb
2020-08-27 07:44
4.5M
verilator_5.006.orig.tar.gz
2023-01-25 17:10
3.0M
verilator_5.006-3.debian.tar.xz
2023-03-30 20:23
13K
verilator_5.006-3.dsc
2023-03-30 20:23
2.1K
verilator_5.006-3_amd64.deb
2023-03-30 21:14
6.3M
verilator_5.032-1.dsc
2025-01-04 13:59
1.9K
verilator_5.032-1.debian.tar.xz
2025-01-04 13:59
13K
verilator_5.032.orig.tar.gz
2025-01-04 13:59
31M
verilator_5.032-1+b2_amd64.deb
2025-03-28 22:22
7.2M
verilator_5.038-1.dsc
2025-08-15 05:15
1.9K
verilator_5.038-1.debian.tar.xz
2025-08-15 05:15
13K
verilator_5.038.orig.tar.gz
2025-08-15 05:15
34M
verilator_5.038-1_amd64.deb
2025-08-15 05:41
7.7M
verilator_5.040-1.dsc
2025-09-10 15:19
1.9K
verilator_5.040-1.debian.tar.xz
2025-09-10 15:19
13K
verilator_5.040.orig.tar.gz
2025-09-10 15:19
34M
verilator_5.040-2.debian.tar.xz
2025-09-12 06:35
13K
verilator_5.040-2.dsc
2025-09-12 06:35
1.9K
verilator_5.040-2_amd64.deb
2025-09-12 07:36
8.4M
Apache/2.4.63 (Debian) Server at 10.0.2.158 Port 80