Package: yosys (0.67-2.20260713git22c15a7.fc44)
Yosys Open SYnthesis Suite, including Verilog synthesizer
Other Packages Related to yosys:
dep: /usr/bin/python3
Package not available
dep: [graphviz]
Graph Visualization Tools
dep: ld-linux-aarch64.so.1()(64bit)
Package not available
dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
Package not available
dep: libgcc_s.so.1()(64bit)
Package not available
dep: libgcc_s.so.1(GCC_3.0)(64bit)
Package not available
dep: libgcc_s.so.1(GCC_3.3.1)(64bit)
Package not available
dep: libm.so.6()(64bit)
Package not available
dep: libm.so.6(GLIBC_2.17)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.29)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.35)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.38)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.43)(64bit)
Package not available
dep: libreadline.so.8()(64bit)
Package not available
dep: libstdc++.so.6()(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.15)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.5)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.9)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.17)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.22)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.5)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
Package not available
dep: libtcl9.0.so()(64bit)
Package not available
dep: libtommath.so.1()(64bit)
Package not available
dep: libz.so.1()(64bit)
Package not available
dep: libz.so.1(ZLIB_1.2.0)(64bit)
Package not available
dep: python-click
Package not available
dep: [python-xdot]
Interactive viewer for Graphviz dot files
dep: rtld(GNU_HASH)
Package not available
dep: [yosys-share] (= 0.67-2.20260713git22c15a7.fc44)
Architecture-independent Yosys files
dep: [yosyshq-abc] (>= 0.67)
Sequential logic synthesis and formal verification
dep: libc.so.6(GLIBC_2.38)(64bit)
Package not available
Download yosys
| Architecture | Package size | Installed size | Files | Package |
|---|---|---|---|---|
| aarch64 | 5.1 MiB | 14 MiB | list of files | Download |
| x86_64 | 5.7 MiB | 17 MiB | list of files | Download |
Paketdateipfade (28)
Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.
- /usr/bin/yosys
- /usr/bin/yosys-filterlib
- /usr/bin/yosys-smtbmc
- /usr/bin/yosys-witness
- /usr/lib/.build-id
- /usr/lib/.build-id/17
- /usr/lib/.build-id/17/b92bd799259d092364aed71418e3cc75f52768
- /usr/lib/.build-id/1f
- /usr/lib/.build-id/1f/4b6aca04d658ef26863a7b9481173c4d898712
- /usr/lib/.build-id/54
- /usr/lib/.build-id/54/eafb7553edf5a4ad2cf6533f74c5d420d9148e
- /usr/lib/.build-id/60
- /usr/lib/.build-id/60/09895416903145721f3a0a8f3ebde4d5cbafb2
- /usr/lib/.build-id/68
- /usr/lib/.build-id/68/357024c6cc0de018623662cccef10321a7a10e
- /usr/lib/.build-id/9e
- /usr/lib/.build-id/9e/4f2567c53db60ac153132c1b180d47b0f40a28
- /usr/lib/.build-id/a4
- /usr/lib/.build-id/a4/95fbe5f72b1dfb7d2d3834398b1ff0d074f420
- /usr/lib/.build-id/c9
- /usr/lib/.build-id/c9/5649287ae49ae471f80b8df622f80be64c3cce
- /usr/share/doc/yosys
- /usr/share/doc/yosys/README.md
- /usr/share/licenses/yosys
- /usr/share/licenses/yosys/COPYING
- /usr/share/man/man1/yosys.1.gz
- /usr/share/man/man1/yosys-filterlib.1.gz
- /usr/share/man/man1/yosys-smtbmc.1.gz
Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b
