Index of /debian-archive/debian/pool/main/v/verilator

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] verilator_3.803-1.debian.tar.gz 2010-07-15 19:40 6.6K [TXT] verilator_3.803-1.dsc 2010-07-15 19:40 1.6K [   ] verilator_3.803-1_amd64.deb 2010-07-20 16:45 2.6M [   ] verilator_3.803-1_armel.deb 2010-07-17 08:50 2.5M [   ] verilator_3.803-1_i386.deb 2010-07-15 19:40 2.5M [   ] verilator_3.803-1_ia64.deb 2010-07-15 21:50 3.3M [   ] verilator_3.803-1_kfreebsd-amd64.deb 2010-07-16 23:18 2.6M [   ] verilator_3.803-1_kfreebsd-i386.deb 2010-07-16 09:32 2.5M [   ] verilator_3.803-1_mips.deb 2010-07-17 14:33 2.8M [   ] verilator_3.803-1_mipsel.deb 2010-07-15 21:50 2.7M [   ] verilator_3.803-1_powerpc.deb 2010-07-18 01:05 2.6M [   ] verilator_3.803-1_s390.deb 2010-07-16 20:48 2.5M [   ] verilator_3.803.orig.tar.gz 2010-07-15 19:40 1.5M [   ] verilator_3.833-1.debian.tar.gz 2012-04-18 18:20 7.0K [TXT] verilator_3.833-1.dsc 2012-04-18 18:20 1.6K [   ] verilator_3.833-1_amd64.deb 2012-04-18 18:20 2.9M [   ] verilator_3.833-1_armel.deb 2012-04-18 20:47 2.6M [   ] verilator_3.833-1_armhf.deb 2012-04-18 20:02 2.5M [   ] verilator_3.833-1_i386.deb 2012-04-18 19:04 2.8M [   ] verilator_3.833-1_ia64.deb 2012-04-18 19:18 3.6M [   ] verilator_3.833-1_kfreebsd-amd64.deb 2012-04-18 19:04 2.9M [   ] verilator_3.833-1_kfreebsd-i386.deb 2012-04-18 19:35 2.8M [   ] verilator_3.833-1_mips.deb 2012-04-18 22:18 2.7M [   ] verilator_3.833-1_mipsel.deb 2012-04-19 10:33 2.6M [   ] verilator_3.833-1_powerpc.deb 2012-04-19 08:34 2.9M [   ] verilator_3.833-1_s390.deb 2012-04-18 19:18 2.7M [   ] verilator_3.833-1_s390x.deb 2012-04-18 19:04 3.1M [   ] verilator_3.833.orig.tar.gz 2012-04-18 18:20 2.0M [   ] verilator_3.864-1.debian.tar.xz 2014-09-28 11:38 7.0K [TXT] verilator_3.864-1.dsc 2014-09-28 11:38 1.6K [   ] verilator_3.864-1_amd64.deb 2014-09-28 12:23 2.2M [   ] verilator_3.864-1_arm64.deb 2014-09-28 13:14 2.1M [   ] verilator_3.864-1_armel.deb 2014-09-28 13:29 1.9M [   ] verilator_3.864-1_armhf.deb 2014-09-28 12:59 1.9M [   ] verilator_3.864-1_i386.deb 2014-09-28 12:28 2.2M [   ] verilator_3.864-1_kfreebsd-amd64.deb 2014-09-28 12:28 2.3M [   ] verilator_3.864-1_kfreebsd-i386.deb 2014-09-28 12:18 2.2M [   ] verilator_3.864-1_mips.deb 2014-09-29 01:57 2.2M [   ] verilator_3.864-1_mipsel.deb 2014-09-28 14:14 2.3M [   ] verilator_3.864-1_powerpc.deb 2014-09-28 12:13 2.0M [   ] verilator_3.864-1_ppc64el.deb 2014-09-28 12:13 2.1M [   ] verilator_3.864-1_s390x.deb 2014-09-28 12:28 2.3M [   ] verilator_3.864.orig.tar.gz 2014-09-28 11:38 1.9M [   ] verilator_3.900-1.debian.tar.xz 2017-01-20 09:46 7.2K [TXT] verilator_3.900-1.dsc 2017-01-20 09:46 2.0K [   ] verilator_3.900-1_amd64.deb 2017-01-20 10:11 2.7M [   ] verilator_3.900-1_arm64.deb 2017-01-20 10:26 2.4M [   ] verilator_3.900-1_armel.deb 2017-01-20 10:57 2.3M [   ] verilator_3.900-1_armhf.deb 2017-01-20 15:58 2.3M [   ] verilator_3.900-1_i386.deb 2017-01-20 10:11 2.7M [   ] verilator_3.900-1_mips.deb 2017-01-20 10:57 2.5M [   ] verilator_3.900-1_mips64el.deb 2017-01-20 12:12 2.6M [   ] verilator_3.900-1_mipsel.deb 2017-01-20 12:12 2.6M [   ] verilator_3.900-1_ppc64el.deb 2017-01-20 10:11 2.5M [   ] verilator_3.900-1_s390x.deb 2017-01-20 10:11 2.6M [   ] verilator_3.900.orig.tar.gz 2017-01-20 09:46 1.9M [   ] verilator_4.010-1.debian.tar.xz 2019-02-10 04:01 9.2K [TXT] verilator_4.010-1.dsc 2019-02-10 04:01 1.6K [   ] verilator_4.010-1_amd64.deb 2019-02-10 06:59 3.4M [   ] verilator_4.010-1_arm64.deb 2019-02-10 05:27 3.0M [   ] verilator_4.010-1_armel.deb 2019-02-10 13:29 2.8M [   ] verilator_4.010-1_armhf.deb 2019-02-10 06:13 2.8M [   ] verilator_4.010-1_i386.deb 2019-02-10 06:44 3.5M [   ] verilator_4.010-1_mips.deb 2019-02-10 08:11 3.6M [   ] verilator_4.010-1_mips64el.deb 2019-02-10 12:58 3.8M [   ] verilator_4.010-1_mipsel.deb 2019-02-10 08:56 3.7M [   ] verilator_4.010-1_ppc64el.deb 2019-02-10 05:27 3.4M [   ] verilator_4.010-1_s390x.deb 2019-02-10 06:59 3.3M [   ] verilator_4.010.orig.tar.gz 2019-02-10 04:01 2.4M
Universidade do Porto | Helpdesk