Repository |
Package name |
Version |
Category |
Maintainer(s) |
Alpine Linux 3.18 community |
iverilog |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.18 community |
iverilog-dev |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.18 community |
iverilog-doc |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.19 community |
iverilog |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.19 community |
iverilog-dev |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.19 community |
iverilog-doc |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.20 community |
iverilog |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.20 community |
iverilog-dev |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.20 community |
iverilog-doc |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.21 community |
iverilog |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.21 community |
iverilog-dev |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.21 community |
iverilog-doc |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.22 community |
iverilog |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.22 community |
iverilog-dev |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.22 community |
iverilog-doc |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux Edge community |
iverilog |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux Edge community |
iverilog-dev |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux Edge community |
iverilog-doc |
12.0 |
- |
soeren+alpine@soeren-tempel.net |
ALT Linux p9 |
iverilog |
10.2 |
Engineering |
lineprinter@altlinux.org |
ALT Linux p10 |
iverilog |
12.0 |
Engineering |
egori@altlinux.org |
ALT Linux p11 |
iverilog |
12.0 |
Engineering |
egori@altlinux.org |
ALT Sisyphus |
iverilog |
12.0 |
Engineering |
egori@altlinux.org |
AOSC |
iverilog |
12.0 |
electronics |
fallback-mnt-aosc@repology |
Arch Linux extra |
iverilog |
12.0 |
- |
- |
Arch Linux 32 i486 extra |
iverilog |
12.0 |
- |
- |
Arch Linux 32 i686 extra |
iverilog |
12.0 |
- |
- |
Arch Linux 32 pentium4 extra |
iverilog |
12.0 |
- |
- |
Arch Linux ARM aarch64 extra |
iverilog |
12.0 |
- |
- |
Arch Linux ARM aarch64 community |
iverilog |
12.0 |
- |
- |
AUR |
iverilog-git |
s20150603.r1490.g0a86773c5 |
- |
gilcu3@aur |
Artix world |
iverilog |
12.0 |
- |
- |
Chocolatey |
Icarus Verilog |
11.0 |
- |
- |
Debian 10 buster/main |
iverilog |
10.2 |
electronics |
pkg-electronics-devel@lists.alioth.debian.org, aelmahmoudy@sabily.org |
Debian 11 bullseye/main |
iverilog |
11.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Debian 12 bookworm/main |
iverilog |
11.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Debian 13 trixie/main |
iverilog |
12.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Debian Unstable sid/main |
iverilog |
12.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
deepin 20 main |
iverilog |
10.2 |
- |
pkg-electronics-devel@lists.alioth.debian.org, aelmahmoudy@sabily.org |
Devuan 3.0 beowulf/main |
iverilog |
10.2 |
electronics |
pkg-electronics-devel@lists.alioth.debian.org, aelmahmoudy@sabily.org |
Devuan 4.0 chimaera/main |
iverilog |
11.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Devuan Unstable unstable/main |
iverilog |
12.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
EPEL 7 |
iverilog |
10_2 |
Applications/Engineering |
- |
Exherbo scientific |
sci-electronics/iverilog |
10.2 |
sci-electronics |
fallback-mnt-exherbo@repology |
Exherbo scientific |
sci-electronics/iverilog |
0.9.7 |
sci-electronics |
fallback-mnt-exherbo@repology |
Fedora 37 release |
iverilog |
11.0 |
Unspecified |
- |
Fedora 38 release |
iverilog |
12.0 |
Unspecified |
- |
Fedora 39 release |
iverilog |
12.0 |
Unspecified |
- |
Fedora 40 release |
iverilog |
12.0 |
Unspecified |
- |
Fedora 41 release |
iverilog |
12.0 |
Unspecified |
- |
Fedora 42 release |
iverilog |
12.0 |
Unspecified |
- |
Fedora Rawhide development |
iverilog |
12.0 |
Unspecified |
- |
FreeBSD Ports |
cad/iverilog |
12.0 |
cad |
kbowling@freebsd.org |
Gentoo |
sci-electronics/iverilog |
9999 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
Gentoo |
sci-electronics/iverilog |
12.0 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
Gentoo |
sci-electronics/iverilog |
11.0 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
Gentoo |
sci-electronics/iverilog |
10.3 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
GNU Guix |
iverilog |
12.0 |
- |
- |
Kali Linux Rolling main |
iverilog |
12.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
LiGurOS stable |
sci-electronics/iverilog |
9999 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
LiGurOS stable |
sci-electronics/iverilog |
12.0 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
LiGurOS stable |
sci-electronics/iverilog |
11.0 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
LiGurOS stable |
sci-electronics/iverilog |
10.3 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
LiGurOS develop |
sci-electronics/iverilog |
9999 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
LiGurOS develop |
sci-electronics/iverilog |
12.0 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
LiGurOS develop |
sci-electronics/iverilog |
11.0 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
LiGurOS develop |
sci-electronics/iverilog |
10.3 |
sci-electronics |
vowstar@gmail.com, sci-electronics@gentoo.org, proxy-maint@gentoo.org |
MacPorts |
iverilog |
20250103 |
science |
bpdegnan@github, mark@macports, markemer@github |
Mageia 8 core/release |
iverilog |
11.0 |
Development/Other |
- |
Mageia 9 core/release |
iverilog |
12.0 |
Development/Other |
- |
Mageia cauldron core/release |
iverilog |
12.0 |
Development/Other |
- |
Manjaro Stable extra |
iverilog |
12.0 |
- |
- |
Manjaro Testing extra |
iverilog |
12.0 |
- |
- |
Manjaro Unstable extra |
iverilog |
12.0 |
- |
- |
MSYS2 mingw x86_64 |
mingw-w64-x86_64-iverilog |
12.0 |
mingw-w64-x86_64-eda |
- |
MSYS2 ucrt64 |
mingw-w64-ucrt-x86_64-iverilog |
12.0 |
mingw-w64-ucrt-x86_64-eda |
- |
nixpkgs stable 22.11 |
iverilog |
11.0 |
- |
aseipp@pobox.com |
nixpkgs stable 23.05 |
iverilog |
12.0 |
- |
aseipp@pobox.com |
nixpkgs stable 23.11 |
iverilog |
12.0 |
- |
aseipp@pobox.com |
nixpkgs stable 24.05 |
iverilog |
12.0 |
- |
aseipp@pobox.com |
nixpkgs stable 24.11 |
iverilog |
12.0 |
- |
aseipp@pobox.com |
nixpkgs stable 25.05 |
iverilog |
12.0 |
- |
aseipp@pobox.com |
nixpkgs unstable |
iverilog |
12.0 |
- |
aseipp@pobox.com |
OpenBSD Ports |
lang/iverilog |
11.0 |
lang |
ports@openbsd.org |
openSUSE Leap 15.4 main/oss |
iverilog |
10.1 |
Productivity/Scientific/Electronics |
- |
openSUSE Leap 15.5 main/oss |
iverilog |
10.1 |
Productivity/Scientific/Electronics |
- |
openSUSE Leap 15.6 main/oss |
iverilog |
10.1 |
Productivity/Scientific/Electronics |
- |
openSUSE Tumbleweed src-oss |
iverilog |
12.0 |
Productivity/Scientific/Electronics |
- |
Parabola extra |
iverilog |
12.0 |
- |
- |
Pardus 21 main |
iverilog |
11.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Parrot parrot/main |
iverilog |
11.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Parrot parrot-updates/main |
iverilog |
11.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
pkgsrc current |
cad/iverilog |
12.0 |
cad |
dmcmahill@netbsd.org |
PureOS amber amber/main |
iverilog |
10.2 |
electronics |
pkg-electronics-devel@lists.alioth.debian.org, aelmahmoudy@sabily.org |
PureOS byzantium byzantium/main |
iverilog |
11.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
PureOS landing landing/main |
iverilog |
12.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Raspbian Oldstable main |
iverilog |
11.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Raspbian Stable main |
iverilog |
11.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Raspbian Testing main |
iverilog |
12.0 |
electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Ravenports |
iverilog |
12.0 |
cad |
mneumann@ntecs.de |
Scoop main |
iverilog |
12-20220611 |
- |
- |
Solus |
iverilog |
12.0 |
office.scientific |
hashhsah@gmail.com |
Solus |
iverilog-dbginfo |
12.0 |
debug |
hashhsah@gmail.com |
T2 SDE |
iverilog |
11.0 |
extra/development |
t2@t2-project.org |
Termux |
iverilog |
12.0 |
- |
termux@github |
Trisquel 10.0 nabia/main |
iverilog |
10.3 |
universe/electronics |
pkg-electronics-devel@lists.alioth.debian.org, aelmahmoudy@sabily.org |
Trisquel 11.0 aramo/main |
iverilog |
11.0 |
universe/electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Ubuntu 14.04 trusty/universe |
iverilog |
0.9.7 |
universe/electronics |
pkg-electronics-devel@lists.alioth.debian.org, aelmahmoudy@sabily.org, hamish@debian.org, rkrishnan@debian.org, wjl@icecavern.net |
Ubuntu 16.04 xenial/universe |
iverilog |
0.9.7 |
universe/electronics |
pkg-electronics-devel@lists.alioth.debian.org, aelmahmoudy@sabily.org, hamish@debian.org, rkrishnan@debian.org, wjl@icecavern.net |
Ubuntu 18.04 bionic/universe |
iverilog |
10.1 |
universe/electronics |
pkg-electronics-devel@lists.alioth.debian.org, aelmahmoudy@sabily.org, hamish@debian.org, rkrishnan@debian.org, wjl@icecavern.net |
Ubuntu 20.04 focal/universe |
iverilog |
10.3 |
universe/electronics |
pkg-electronics-devel@lists.alioth.debian.org, aelmahmoudy@sabily.org |
Ubuntu 22.04 jammy/universe |
iverilog |
11.0 |
universe/electronics |
pkg-electronics-devel@alioth-lists.debian.net, aelmahmoudy@users.sourceforge.net |
Ubuntu 24.04 noble/universe |
iverilog |
12.0 |
universe/electronics |
ubuntu-devel-discuss@lists.ubuntu.com, aelmahmoudy@users.sourceforge.net |
Ubuntu 24.10 oracular/universe |
iverilog |
12.0 |
universe/electronics |
ubuntu-devel-discuss@lists.ubuntu.com, aelmahmoudy@users.sourceforge.net |
Ubuntu 25.04 plucky/universe |
iverilog |
12.0 |
universe/electronics |
ubuntu-devel-discuss@lists.ubuntu.com, aelmahmoudy@users.sourceforge.net |
Ubuntu 25.10 questing/universe |
iverilog |
12.0 |
universe/electronics |
ubuntu-devel-discuss@lists.ubuntu.com, aelmahmoudy@users.sourceforge.net |
Void Linux x86_64 x86_64 |
iverilog |
12.0 |
- |
orphan@voidlinux.org |
Wikidata |
Icarus Verilog |
12.0 |
- |
- |
YACP |
iverilog |
12.0 |
Devel |
- |