Index of /debian/pool/main/v/verilator
Name Last modified Size Description
Parent Directory -
verilator_4.010-1.dsc 2019-02-10 05:01 1.6K
verilator_4.010-1.debian.tar.xz 2019-02-10 05:01 9.2K
verilator_4.010.orig.tar.gz 2019-02-10 05:01 2.4M
verilator_4.010-1_arm64.deb 2019-02-10 06:27 3.0M
verilator_4.010-1_armhf.deb 2019-02-10 07:13 2.8M
verilator_4.010-1_i386.deb 2019-02-10 07:44 3.5M
verilator_4.010-1_amd64.deb 2019-02-10 07:59 3.4M
verilator_4.038-1.dsc 2020-08-27 07:58 1.7K
verilator_4.038-1.debian.tar.xz 2020-08-27 07:58 9.4K
verilator_4.038.orig.tar.gz 2020-08-27 07:58 2.6M
verilator_4.038-1_i386.deb 2020-08-27 08:24 4.4M
verilator_4.038-1_ppc64el.deb 2020-08-27 08:29 4.5M
verilator_4.038-1_armel.deb 2020-08-27 08:44 3.5M
verilator_4.038-1_arm64.deb 2020-08-27 08:44 4.0M
verilator_4.038-1_armhf.deb 2020-08-27 08:44 3.6M
verilator_4.038-1_amd64.deb 2020-08-27 08:44 4.5M
verilator_4.038-1_mips64el.deb 2020-08-27 08:59 3.9M
verilator_5.006.orig.tar.gz 2023-01-25 18:10 3.0M
verilator_5.006-3.debian.tar.xz 2023-03-30 21:23 13K
verilator_5.006-3.dsc 2023-03-30 21:23 2.1K
verilator_5.006-3_i386.deb 2023-03-30 22:04 6.3M
verilator_5.006-3_armhf.deb 2023-03-30 22:14 5.1M
verilator_5.006-3_ppc64el.deb 2023-03-30 22:14 6.2M
verilator_5.006-3_arm64.deb 2023-03-30 22:14 5.6M
verilator_5.006-3_amd64.deb 2023-03-30 22:14 6.3M
verilator_5.006-3_armel.deb 2023-03-30 22:29 5.2M
verilator_5.006-3_mips64el.deb 2023-03-31 00:57 5.4M
verilator_5.024-1.dsc 2024-05-10 19:14 2.1K
verilator_5.024-1.debian.tar.xz 2024-05-10 19:14 12K
verilator_5.024.orig.tar.gz 2024-05-10 19:14 4.0M
verilator_5.024-1+b2_amd64.deb 2024-09-14 00:14 1.4M
verilator_5.024-1+b2_ppc64el.deb 2024-09-14 00:36 1.4M
verilator_5.024-1+b2_i386.deb 2024-09-14 02:15 1.4M
verilator_5.024-1+b2_arm64.deb 2024-09-14 03:44 1.4M
verilator_5.024-1+b2_armel.deb 2024-09-14 07:15 1.4M
verilator_5.024-1+b2_armhf.deb 2024-09-14 10:36 1.4M
verilator_5.024-1+b2_mips64el.deb 2024-09-14 18:10 1.4M
verilator_5.024-1+b2_riscv64.deb 2024-09-16 05:50 1.4M
Apache Server at ftp.thm.de Port 443