The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ verilator_3.856-1.debian.tar.xz 04-Apr-2014 21:53 7012 verilator_3.856-1.dsc 04-Apr-2014 21:53 1655 verilator_3.856-1_arm64.deb 04-Apr-2014 22:13 1975714 verilator_3.856-1_armhf.deb 04-Apr-2014 22:23 1831360 verilator_3.856.orig.tar.gz 04-Apr-2014 21:53 1955556 verilator_3.874-1.debian.tar.xz 08-Jun-2015 05:18 7200 verilator_3.874-1.dsc 08-Jun-2015 05:18 1653 verilator_3.874-1_arm64.deb 08-Jun-2015 05:58 2212252 verilator_3.874-1_armhf.deb 08-Jun-2015 05:58 2025896 verilator_3.874.orig.tar.gz 08-Jun-2015 05:18 1980886 verilator_3.916-1build1.debian.tar.xz 20-Feb-2018 08:30 7672 verilator_3.916-1build1.dsc 20-Feb-2018 08:30 2060 verilator_3.916-1build1_arm64.deb 20-Feb-2018 09:19 2624232 verilator_3.916-1build1_armhf.deb 20-Feb-2018 09:19 2415436 verilator_3.916.orig.tar.gz 26-Nov-2017 05:33 2089819 verilator_4.028-1.debian.tar.xz 09-Feb-2020 23:18 9052 verilator_4.028-1.dsc 09-Feb-2020 23:18 1778 verilator_4.028-1_arm64.deb 10-Feb-2020 00:03 3866928 verilator_4.028-1_armhf.deb 10-Feb-2020 00:03 3697476 verilator_4.028.orig.tar.gz 09-Feb-2020 23:18 2448209 verilator_4.038-1.debian.tar.xz 27-Aug-2020 11:13 9580 verilator_4.038-1.dsc 27-Aug-2020 11:13 1778 verilator_4.038-1_arm64.deb 27-Aug-2020 12:33 4189424 verilator_4.038-1_armhf.deb 27-Aug-2020 12:23 3764568 verilator_4.038.orig.tar.gz 27-Aug-2020 11:13 2703465 verilator_5.006-3.debian.tar.xz 01-Apr-2023 19:39 13424 verilator_5.006-3.dsc 01-Apr-2023 19:39 2198 verilator_5.006-3_arm64.deb 01-Apr-2023 20:09 6357186 verilator_5.006-3_armhf.deb 01-Apr-2023 20:09 6111532 verilator_5.006.orig.tar.gz 26-Jan-2023 00:04 3131172 verilator_5.020-1.debian.tar.xz 13-Jan-2024 17:20 12360 verilator_5.020-1.dsc 13-Jan-2024 17:20 2198 verilator_5.020-1_arm64.deb 13-Jan-2024 18:34 6545770 verilator_5.020-1_armhf.deb 13-Jan-2024 18:34 6348920 verilator_5.020.orig.tar.gz 13-Jan-2024 17:20 3827346 verilator_5.024-1.debian.tar.xz 10-May-2024 23:48 12480 verilator_5.024-1.dsc 10-May-2024 23:48 2198 verilator_5.024-1_arm64.deb 10-May-2024 23:52 1362002 verilator_5.024-1_armhf.deb 11-May-2024 01:23 1361988 verilator_5.024.orig.tar.gz 10-May-2024 23:48 4208236
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.