Index of /debian-archive/debian/pool/main/v/verilator
Name
Last modified
Size
Parent Directory
-
verilator_3.803-1.debian.tar.gz
2010-07-15 20:40
6.6K
verilator_3.803-1.dsc
2010-07-15 20:40
1.6K
verilator_3.803-1_amd64.deb
2010-07-20 17:45
2.6M
verilator_3.803-1_i386.deb
2010-07-15 20:40
2.5M
verilator_3.803.orig.tar.gz
2010-07-15 20:40
1.5M
verilator_3.833-1.debian.tar.gz
2012-04-18 19:20
7.0K
verilator_3.833-1.dsc
2012-04-18 19:20
1.6K
verilator_3.833-1_amd64.deb
2012-04-18 19:20
2.9M
verilator_3.833-1_i386.deb
2012-04-18 20:04
2.8M
verilator_3.833.orig.tar.gz
2012-04-18 19:20
2.0M
verilator_3.864-1.debian.tar.xz
2014-09-28 12:38
7.0K
verilator_3.864-1.dsc
2014-09-28 12:38
1.6K
verilator_3.864-1_amd64.deb
2014-09-28 13:23
2.2M
verilator_3.864-1_i386.deb
2014-09-28 13:28
2.2M
verilator_3.864.orig.tar.gz
2014-09-28 12:38
1.9M
verilator_3.900-1.debian.tar.xz
2017-01-20 10:46
7.2K
verilator_3.900-1.dsc
2017-01-20 10:46
2.0K
verilator_3.900-1_amd64.deb
2017-01-20 11:11
2.7M
verilator_3.900-1_i386.deb
2017-01-20 11:11
2.7M
verilator_3.900-1_mips64el.deb
2017-01-20 13:12
2.6M
verilator_3.900.orig.tar.gz
2017-01-20 10:46
1.9M
verilator_4.010-1.debian.tar.xz
2019-02-10 05:01
9.2K
verilator_4.010-1.dsc
2019-02-10 05:01
1.6K
verilator_4.010-1_amd64.deb
2019-02-10 07:59
3.4M
verilator_4.010-1_i386.deb
2019-02-10 07:44
3.5M
verilator_4.010-1_mips64el.deb
2019-02-10 13:58
3.8M
verilator_4.010.orig.tar.gz
2019-02-10 05:01
2.4M
Apache/2.4.59 (Debian) Server at debian.inet.de Port 80