discover Discover helps you find and install applications, games, and tools. Discover helps you find and install applications, games, and tools. You can search or browse by category, and look at screenshots and read reviews to help you pick the perfect app. With Discover, you can manage software from multiple sources, including your operating system's software repository, Flatpak repos, the Snap store, or even AppImages from store.kde.org. Finally, Discover also allows you to find, install, and manage add-ons for Plasma and all your favorite KDE apps! desktop.kde BSD-3-Clause CC0-1.0 GPL-2.0-only GPL-2.0-or-later GPL-3.0-only LGPL-2.0-or-later LGPL-2.1-only LGPL-3.0-only qcoro glib2 kf6-kcrash kf6-kwindowsystem libgcc kirigami-addons kf6-kdbusaddons kf6-kwidgetsaddons discount qt6-webview qt6-base glibc kf6-kconfig kf6-kiconthemes kf6-kio libstdc++ flatpak qt6-base-gui kf6-knewstuff kf6-kjobwidgets fwupd kf6-kstatusnotifieritem packagekit-qt-qt6 kf6-kcmutils kf6-kidletime kf6-kservice kf6-attica kf6-kcoreaddons appstream-qt6 kf6-knotifications qt6-declarative kf6-ki18n appstream-catalog kf6-kirigami kf6-kitemmodels kf6-purpose kf6-qqc2-desktop-style 2026-03-21 6.6.3 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 7359373 1568952 e14beab836fcf8c30a318868abb340d51ceee2b9 discover-6.6.3-54-1-x86_64.eopkg 1.2 discover https://apps.kde.org/discover/ Joey Riches josephriches@gmail.com openroad OpenROAD's unified application implementing an RTL-to-GDS Flow OpenROAD is the leading open-source, foundational application for semiconductor digital design. The OpenROAD flow delivers an Autonomous, No-Human-In-Loop flow, 24 hour turnaround from RTL-GDSII for rapid design exploration and physical design implementation. office.scientific BSD-3-Clause libboost tcl or-tools abseil-cpp yaml-cpp libgcc qt5-base qt5-charts zlib python3 glibc spdlog fmt libstdc++ opensta libomp eqy sby 2026-04-28 26.01.29 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 80028696 18177992 cea8d109030079a6fd97d315f2480c2eacb8b40b openroad-26.01.29-6-1-x86_64.eopkg 1.2 openroad https://theopenroadproject.org/ Joey Riches josephriches@gmail.com cudd-dbginfo Debug symbols for cudd The CUDD package is a package written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs). debug BSD-3-Clause cudd 2026-04-28 3.0.0 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 601264 563741 b464e36c01f4327fc45795507dfcfb8aeafa7de2 cudd-dbginfo-3.0.0-1-1-x86_64.eopkg 1.2 cudd https://github.com/The-OpenROAD-Project/cudd Joey Riches josephriches@gmail.com yosys-devel Development files for yosys Yosys is a framework for Verilog RTL synthesis. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains. programming.devel ISC yosys 2026-04-28 0.59.1 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 657344 123896 4b560c992b6a02e35b3dea2146ebaa39ba1cda14 yosys-devel-0.59.1-26-1-x86_64.eopkg 1.2 yosys https://yosyshq.net/yosys/ Joey Riches josephriches@gmail.com or-tools-devel Development files for or-tools Google Optimization Tools (a.k.a., OR-Tools) is an open-source, fast and portable software suite for solving combinatorial optimization problems. programming.devel Apache-2.0 or-tools 2026-04-28 9.12 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 12367712 1349379 b7825733ead9b93b294782acc9346e87b8a19029 or-tools-devel-9.12-2-1-x86_64.eopkg 1.2 or-tools https://developers.google.com/optimization/ Joey Riches josephriches@gmail.com eopkg The Solus package manager (python3 eopkg.bin nuitka-compiled version) The Solus package manager (python3 eopkg.bin nuitka-compiled version) system.base GPL-2.0-or-later glibc eopkg4-bin 2026-05-03 4.4.2 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 43188508 41264719 b69b66a83987b52e4c65595c8a12e47f897944fa eopkg-4.4.2-36-1-x86_64.eopkg 1.2 eopkg https://github.com/getsolus/eopkg Joey Riches josephriches@gmail.com libstone-dbginfo Debug symbols for libstone PLEASE FILL ME IN debug GPL-2.0-or-later libstone 2026-01-11 0.0.1 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 164544 30409 e2ce6c82a7e2c0bb1f4b72a79fd9726f41ab2744 libstone-dbginfo-0.0.1-1-1-x86_64.eopkg 1.2 libstone PLEASE FILL ME IN Joey Riches josephriches@gmail.com cudd Package for the manipulation of decision diagrams. The CUDD package is a package written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs). programming.library BSD-3-Clause glibc 2026-04-28 3.0.0 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 491390 191316 fef7e1c3bc8b6e09eb0e596c2295aadec2a10b2c cudd-3.0.0-1-1-x86_64.eopkg 1.2 cudd https://github.com/The-OpenROAD-Project/cudd Joey Riches josephriches@gmail.com libstone PLEASE FILL ME IN PLEASE FILL ME IN PLEASE FILL ME IN GPL-2.0-or-later libgcc glibc 2026-01-11 0.0.1 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 838058 314723 21d4fc40a2e4eb35c1152380c025209500a55585 libstone-0.0.1-1-1-x86_64.eopkg 1.2 libstone PLEASE FILL ME IN Joey Riches josephriches@gmail.com ypkg Modern, declarative, structured build format ypkg is the build tool of choice for Solus. Simply put, it is a tool to convert a build process into a packaging operation. system.devel GPL-3.0-or-later glibc python-eopkg python-humanize python-typer python-typing-extensions python-xattr python-zstandard pyyaml ruamel_yaml 2026-04-23 35.1.1 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 46358720 45676861 881477e8dceba5c1df898c3c05585bdf9e36d5a8 ypkg-35.1.1-216-1-x86_64.eopkg 1.2 ypkg https://github.com/getsolus/ypkg Joey Riches josephriches@gmail.com yosys-dbginfo Debug symbols for yosys Yosys is a framework for Verilog RTL synthesis. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains. debug ISC yosys 2026-04-28 0.59.1 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 4761016 391213 3aaa2d3607d5e9b54202165d1c1075e6935cd41d yosys-dbginfo-0.59.1-26-1-x86_64.eopkg 1.2 yosys https://yosyshq.net/yosys/ Joey Riches josephriches@gmail.com python-lzma-mt Multi-threaded LZMA/XZ compression for Python Multi-threaded LZMA/XZ compression for Python. A drop-in replacement for Python's lzma module with multi-threading support, implemented as a Cython wrapper around liblzma. programming.python GPL-2.0-or-later xz glibc 2026-03-21 0.1.4 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 1875086 292411 370c18097bba02a1cd96b8de1e7064506b6c8010 python-lzma-mt-0.1.4-1-1-x86_64.eopkg 1.2 python-lzma-mt https://github.com/isarandi/lzma-mt Joey Riches josephriches@gmail.com python-lmdb-dbginfo Debug symbols for python-lmdb Universal Python binding for the LMDB 'Lightning' Database debug MIT python-lmdb 2026-04-28 2.2.0 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 212456 194914 bb75a0b29638734707843dbf29409f442e148454 python-lmdb-dbginfo-2.2.0-1-1-x86_64.eopkg 1.2 python-lmdb https://github.com/jnwatson/py-lmdb Joey Riches josephriches@gmail.com python-lzma-mt-dbginfo Debug symbols for python-lzma-mt Multi-threaded LZMA/XZ compression for Python. A drop-in replacement for Python's lzma module with multi-threading support, implemented as a Cython wrapper around liblzma. debug GPL-2.0-or-later python-lzma-mt 2026-03-21 0.1.4 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 513704 483112 28dfbdcaa3d5f6b3b6ef58a865e59eb3317e43b1 python-lzma-mt-dbginfo-0.1.4-1-1-x86_64.eopkg 1.2 python-lzma-mt https://github.com/isarandi/lzma-mt Joey Riches josephriches@gmail.com opensta-devel Development files for opensta OpenSTA is a gate level static timing verifier. As a stand-alone executable it can be used to verify the timing of a design using standard file formats. programming.devel GPL-3.0-or-later opensta 2026-04-28 25.01.29 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 684005 94854 1ad5ce22a56e1b6d85997c34659114f2da6d8ef8 opensta-devel-25.01.29-2-1-x86_64.eopkg 1.2 opensta https://github.com/The-OpenROAD-Project/OpenSTA Joey Riches josephriches@gmail.com or-tools Google's Operations Research tools Google Optimization Tools (a.k.a., OR-Tools) is an open-source, fast and portable software suite for solving combinatorial optimization problems. programming.library Apache-2.0 re2 glibc protobuf coinmp zlib libstdc++ abseil-cpp libgcc 2026-04-28 9.12 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 22259524 5509114 5b67cfaaafb8e06f4403e1481cfe41d22dbf7b7f or-tools-9.12-2-1-x86_64.eopkg 1.2 or-tools https://developers.google.com/optimization/ Joey Riches josephriches@gmail.com opensta-dbginfo Debug symbols for opensta OpenSTA is a gate level static timing verifier. As a stand-alone executable it can be used to verify the timing of a design using standard file formats. debug GPL-3.0-or-later opensta 2026-04-28 25.01.29 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 15908032 14661098 bae4c4f65618d5df3e99242cc4787b695f0f264c opensta-dbginfo-25.01.29-2-1-x86_64.eopkg 1.2 opensta https://github.com/The-OpenROAD-Project/OpenSTA Joey Riches josephriches@gmail.com eqy Equivalence checking with Yosys Equivalence Checking with Yosys (EQY) is a front-end driver program for Yosys-based formal hardware verification flows. office.scientific ISC libgcc libstdc++ glibc yosys 2026-04-28 0.59 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 665148 196987 24b1754bc9d581c9bcc0d923e05d5bb6efa30725 eqy-0.59-2-1-x86_64.eopkg 1.2 eqy https://yosyshq.readthedocs.io/projects/eqy/en/latest/ Joey Riches josephriches@gmail.com libstone-devel Development files for libstone PLEASE FILL ME IN programming.devel GPL-2.0-or-later libstone libstone 2026-01-11 0.0.1 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 4950351 911882 7038132b27a7eb4e47d02c7929e26652251a86aa libstone-devel-0.0.1-1-1-x86_64.eopkg 1.2 libstone PLEASE FILL ME IN Joey Riches josephriches@gmail.com cudd-devel Development files for cudd The CUDD package is a package written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs). programming.devel BSD-3-Clause cudd 2026-04-28 3.0.0 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 47939 9685 457a971acc7d0780e631ddb2ac7e1af423fc2089 cudd-devel-3.0.0-1-1-x86_64.eopkg 1.2 cudd https://github.com/The-OpenROAD-Project/cudd Joey Riches josephriches@gmail.com discover-dbginfo Debug symbols for discover Discover helps you find and install applications, games, and tools. You can search or browse by category, and look at screenshots and read reviews to help you pick the perfect app. With Discover, you can manage software from multiple sources, including your operating system's software repository, Flatpak repos, the Snap store, or even AppImages from store.kde.org. Finally, Discover also allows you to find, install, and manage add-ons for Plasma and all your favorite KDE apps! debug BSD-3-Clause CC0-1.0 GPL-2.0-only GPL-2.0-or-later GPL-3.0-only LGPL-2.0-or-later LGPL-2.1-only LGPL-3.0-only discover 2026-03-21 6.6.3 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 15348016 14373141 745cc131689e26d5028f222184affcf85a760782 discover-dbginfo-6.6.3-54-1-x86_64.eopkg 1.2 discover https://apps.kde.org/discover/ Joey Riches josephriches@gmail.com python-lmdb Universal Python binding for the LMDB 'Lightning' Database Universal Python binding for the LMDB 'Lightning' Database programming.python MIT glibc 2026-04-28 2.2.0 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 475221 133262 529536a75aff70c7611b9ddac4cc9c0a597c0aa9 python-lmdb-2.2.0-1-1-x86_64.eopkg 1.2 python-lmdb https://github.com/jnwatson/py-lmdb Joey Riches josephriches@gmail.com yosys Yosys Open SYnthesis Suite Yosys is a framework for Verilog RTL synthesis. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains. office.scientific ISC libgcc readline python3 zlib libffi tcl libstdc++ glibc 2026-04-28 0.59.1 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 56079891 13910423 336b64798baa136b9a164d7f0863187cd30388d6 yosys-0.59.1-26-1-x86_64.eopkg 1.2 yosys https://yosyshq.net/yosys/ Joey Riches josephriches@gmail.com python-eopkg The Solus package manager (pure python3 eopkg.py3 version) The Solus package manager (pure python3 eopkg.py3 version) programming.python GPL-2.0-or-later iksemel python-jeepney python-lzma-mt python-ordered-set python-xattr 2026-05-03 4.4.2 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 3890752 585156 fee0bdee2c23b67da4c393a34be5695799cc52e8 python-eopkg-4.4.2-36-1-x86_64.eopkg 1.2 eopkg https://github.com/getsolus/eopkg Joey Riches josephriches@gmail.com sby SymbiYosys front-end for Yosys-based formal hardware verification flows SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows. See https://yosyshq.readthedocs.io/projects/sby/ for documentation on how to use SymbiYosys. office.scientific ISC yosys 2026-04-28 0.59 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 217021 40269 0f7e91f51f281d6e965854bda7980fa55b2ebb1e sby-0.59-2-1-x86_64.eopkg 1.2 sby https://yosyshq.readthedocs.io/projects/sby/en/latest/ Joey Riches josephriches@gmail.com eqy-dbginfo Debug symbols for eqy Equivalence Checking with Yosys (EQY) is a front-end driver program for Yosys-based formal hardware verification flows. debug ISC eqy 2026-04-28 0.59 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 1543216 1456940 66f8c9b8b1632f26c841e6f0c61d19b3ea225d89 eqy-dbginfo-0.59-2-1-x86_64.eopkg 1.2 eqy https://yosyshq.readthedocs.io/projects/eqy/en/latest/ Joey Riches josephriches@gmail.com opensta OpenSTA Parallax Static Timing Analyzer OpenSTA is a gate level static timing verifier. As a stand-alone executable it can be used to verify the timing of a design using standard file formats. office.scientific GPL-3.0-or-later glibc cudd tcl zlib libgcc libstdc++ 2026-04-28 25.01.29 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 9978994 1885939 7abd58a323a6b153d393f31464c3657bb8ed4b45 opensta-25.01.29-2-1-x86_64.eopkg 1.2 opensta https://github.com/The-OpenROAD-Project/OpenSTA Joey Riches josephriches@gmail.com openroad-dbginfo Debug symbols for openroad OpenROAD is the leading open-source, foundational application for semiconductor digital design. The OpenROAD flow delivers an Autonomous, No-Human-In-Loop flow, 24 hour turnaround from RTL-GDSII for rapid design exploration and physical design implementation. debug BSD-3-Clause openroad 2026-04-28 26.01.29 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 184841664 172271899 8cc66ae1ad18cb4a91d53cc8d7f9b0ce285b10a2 openroad-dbginfo-26.01.29-6-1-x86_64.eopkg 1.2 openroad https://theopenroadproject.org/ Joey Riches josephriches@gmail.com or-tools-dbginfo Debug symbols for or-tools Google Optimization Tools (a.k.a., OR-Tools) is an open-source, fast and portable software suite for solving combinatorial optimization problems. debug Apache-2.0 or-tools 2026-04-28 9.12 Packaging update Joey Riches josephriches@gmail.com solus Solus 1 x86_64 98394496 92169216 e01b0b10c7ff1999c04255b5b53640d0647c976f or-tools-dbginfo-9.12-2-1-x86_64.eopkg 1.2 or-tools https://developers.google.com/optimization/ Joey Riches josephriches@gmail.com