| 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 |
- |