Index of /ubuntu/pool/universe/v/verilator
Name
Last modified
Size
Description
Parent Directory
-
verilator_3.856-1.debian.tar.xz
2014-04-04 23:53
6.8K
verilator_3.856-1.dsc
2014-04-04 23:53
1.6K
verilator_3.856-1_amd64.deb
2014-04-05 00:03
2.1M
verilator_3.856-1_i386.deb
2014-04-05 00:03
2.0M
verilator_3.856.orig.tar.gz
2014-04-04 23:53
1.9M
verilator_3.874-1.debian.tar.xz
2015-06-08 07:18
7.0K
verilator_3.874-1.dsc
2015-06-08 07:18
1.6K
verilator_3.874-1_amd64.deb
2015-06-08 07:38
2.3M
verilator_3.874-1_i386.deb
2015-06-08 07:38
2.3M
verilator_3.874.orig.tar.gz
2015-06-08 07:18
1.9M
verilator_3.916-1build1.debian.tar.xz
2018-02-20 09:30
7.5K
verilator_3.916-1build1.dsc
2018-02-20 09:30
2.0K
verilator_3.916-1build1_amd64.deb
2018-02-20 09:31
2.7M
verilator_3.916-1build1_i386.deb
2018-02-20 09:32
2.8M
verilator_3.916.orig.tar.gz
2017-11-26 06:33
2.0M
verilator_4.028-1.debian.tar.xz
2020-02-10 00:18
8.8K
verilator_4.028-1.dsc
2020-02-10 00:18
1.7K
verilator_4.028-1_amd64.deb
2020-02-10 00:28
4.3M
verilator_4.028.orig.tar.gz
2020-02-10 00:18
2.3M
verilator_4.038-1.debian.tar.xz
2020-08-27 13:13
9.4K
verilator_4.038-1.dsc
2020-08-27 13:13
1.7K
verilator_4.038-1_amd64.deb
2020-08-27 13:49
4.5M
verilator_4.038.orig.tar.gz
2020-08-27 13:13
2.6M
verilator_5.020-1.debian.tar.xz
2024-01-13 18:20
12K
verilator_5.020-1.dsc
2024-01-13 18:20
2.1K
verilator_5.020-1_amd64.deb
2024-01-13 18:54
6.6M
verilator_5.020.orig.tar.gz
2024-01-13 18:20
3.6M
verilator_5.024-1.debian.tar.xz
2024-05-11 01:48
12K
verilator_5.024-1.dsc
2024-05-11 01:48
2.1K
verilator_5.024-1_amd64.deb
2024-05-11 01:52
1.3M
verilator_5.024.orig.tar.gz
2024-05-11 01:48
4.0M
verilator_5.030-2.debian.tar.xz
2024-12-20 00:28
12K
verilator_5.030-2.dsc
2024-12-20 00:28
1.9K
verilator_5.030-2_amd64.deb
2024-12-20 01:43
7.1M
verilator_5.030-3.debian.tar.xz
2024-12-29 18:45
12K
verilator_5.030-3.dsc
2024-12-29 18:45
1.9K
verilator_5.030-3_amd64.deb
2024-12-29 19:40
7.1M
verilator_5.030.orig.tar.gz
2024-12-11 01:59
31M
Apache/2.4.52 (Ubuntu) Server at nl.archive.ubuntu.com Port 80