Index of /ubuntu/pool/universe/v/verilator
Name
Last modified
Size
Parent Directory
-
verilator_4.036.orig.tar.gz
2020-06-13 18:13
2.6M
verilator_4.036-1_amd64.deb
2020-06-13 18:33
4.7M
verilator_4.036-1.dsc
2020-06-13 18:13
1.7K
verilator_4.036-1.debian.tar.xz
2020-06-13 18:13
9.1K
verilator_4.034.orig.tar.gz
2020-05-10 00:18
2.5M
verilator_4.034-2_amd64.deb
2020-05-26 00:58
4.6M
verilator_4.034-2.dsc
2020-05-26 00:18
1.7K
verilator_4.034-2.debian.tar.xz
2020-05-26 00:18
10K
verilator_4.028.orig.tar.gz
2020-02-09 23:18
2.3M
verilator_4.028-1_amd64.deb
2020-02-09 23:28
4.3M
verilator_4.028-1.dsc
2020-02-09 23:18
1.7K
verilator_4.028-1.debian.tar.xz
2020-02-09 23:18
8.8K
verilator_4.016.orig.tar.gz
2019-07-04 06:23
2.4M
verilator_4.016-3_i386.deb
2019-07-09 08:58
3.6M
verilator_4.016-3_amd64.deb
2019-07-09 08:58
3.7M
verilator_4.016-3.dsc
2019-07-09 08:48
1.6K
verilator_4.016-3.debian.tar.xz
2019-07-09 08:48
9.7K
verilator_3.916.orig.tar.gz
2017-11-26 05:33
2.0M
verilator_3.916-1build1_i386.deb
2018-02-20 08:32
2.8M
verilator_3.916-1build1_amd64.deb
2018-02-20 08:31
2.7M
verilator_3.916-1build1.dsc
2018-02-20 08:30
2.0K
verilator_3.916-1build1.debian.tar.xz
2018-02-20 08:30
7.5K
verilator_3.874.orig.tar.gz
2015-06-08 06:18
1.9M
verilator_3.874-1_i386.deb
2015-06-08 06:38
2.3M
verilator_3.874-1_amd64.deb
2015-06-08 06:38
2.3M
verilator_3.874-1.dsc
2015-06-08 06:18
1.6K
verilator_3.874-1.debian.tar.xz
2015-06-08 06:18
7.0K
verilator_3.856.orig.tar.gz
2014-04-04 22:53
1.9M
verilator_3.856-1_i386.deb
2014-04-04 23:03
2.0M
verilator_3.856-1_amd64.deb
2014-04-04 23:03
2.1M
verilator_3.856-1.dsc
2014-04-04 22:53
1.6K
verilator_3.856-1.debian.tar.xz
2014-04-04 22:53
6.8K
verilator_3.832.orig.tar.gz
2012-03-20 12:05
1.5M
verilator_3.832-1_i386.deb
2012-03-20 12:35
2.7M
verilator_3.832-1_amd64.deb
2012-03-20 12:34
2.8M
verilator_3.832-1.dsc
2012-03-20 12:05
1.6K
verilator_3.832-1.debian.tar.gz
2012-03-20 12:05
7.0K
Apache/2.4.59 (Debian) SVN/1.14.1 mod_python/3.5.0- Python/3.9.2 OpenSSL/1.1.1w Server at ubuntu.positive-internet.com Port 80