| x86_64 |
Extra |
abc |
0.0.0.20221019-2 |
System for Sequential Logic Synthesis and Formal Verification |
2025-08-04 |
|
| any |
Extra |
acme.sh |
3.1.1-1 |
An ACME Shell script, an acme client alternative to certbot |
2025-08-04 |
|
| any |
Extra |
acorn |
1:8.12.0-1 |
A tiny, fast JavaScript parser, written completely in JavaScript. |
2025-08-04 |
|
| x86_64 |
Extra |
adns |
1.6.1-1 |
An asyncronous replacement resolver library |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-sans-cn-fonts |
2.005-1 |
Adobe Source Han Sans Subset OTF - Simplified Chinese OpenType/CFF fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-sans-hk-fonts |
2.005-1 |
Adobe Source Han Sans Subset OTF - Traditional Chinese (Hong Kong) OpenType/CFF fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-sans-jp-fonts |
2.005-1 |
Adobe Source Han Sans Subset OTF - Japanese OpenType/CFF fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-sans-kr-fonts |
2.005-1 |
Adobe Source Han Sans Subset OTF - Korean OpenType/CFF fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-sans-otc-fonts |
2.005-1 |
Adobe Source Han Sans - Pan-CJK OpenType/CFF Collection fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-sans-tw-fonts |
2.005-1 |
Adobe Source Han Sans Subset OTF - Traditional Chinese (Taiwan) OpenType/CFF fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-serif-cn-fonts |
2.003-1 |
Adobe Source Han Serif Subset OTF - Simplified Chinese OpenType/CFF fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-serif-hk-fonts |
2.003-1 |
Adobe Source Han Serif Subset OTF - Traditional Chinese (Hong Kong) OpenType/CFF fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-serif-jp-fonts |
2.003-1 |
Adobe Source Han Serif Subset OTF - Japanese OpenType/CFF fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-serif-kr-fonts |
2.003-1 |
Adobe Source Han Serif Subset OTF - Korean OpenType/CFF fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-serif-otc-fonts |
2.003-1 |
Adobe Source Han Serif - Pan-CJK OpenType/CFF Collection fonts |
2025-08-04 |
|
| any |
Extra |
adobe-source-han-serif-tw-fonts |
2.003-1 |
Adobe Source Han Serif Subset OTF - Traditional Chinese (Taiwan) OpenType/CFF fonts |
2025-08-04 |
|
| x86_64 |
Extra |
agda |
2.6.4.3-32 |
A dependently typed functional programming language and proof assistant |
2025-08-04 |
2025-08-04 |
| x86_64 |
Extra |
agda-stdlib |
2.0-2 |
Agda standard libraries |
2025-08-04 |
|
| x86_64 |
Extra |
akonadi |
25.04.3-1 |
PIM layer, which provides an asynchronous API to access all kind of PIM data |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
akonadi |
25.07.90-1 |
PIM layer, which provides an asynchronous API to access all kind of PIM data |
2025-08-04 |
|
| x86_64 |
Extra |
akonadi-calendar |
25.04.3-1 |
Akonadi calendar integration |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
akonadi-calendar |
25.07.90-1 |
Akonadi calendar integration |
2025-08-04 |
|
| x86_64 |
Extra |
akonadi-calendar-tools |
25.04.3-1 |
CLI tools to manage akonadi calendars |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
akonadi-calendar-tools |
25.07.90-1 |
CLI tools to manage akonadi calendars |
2025-08-04 |
|
| x86_64 |
Extra |
akonadi-contacts |
25.04.3-1 |
Libraries and daemons to implement Contact Management in Akonadi |
2025-08-04 |
2025-08-04 |
| x86_64 |
KDE-Unstable |
akonadi-contacts |
25.07.90-1 |
Libraries and daemons to implement Contact Management in Akonadi |
2025-08-04 |
2025-08-04 |
| x86_64 |
Extra |
akonadi-import-wizard |
25.04.3-1 |
Import data from other mail clients to KMail |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
akonadi-import-wizard |
25.07.90-1 |
Import data from other mail clients to KMail |
2025-08-04 |
|
| x86_64 |
Extra |
akonadi-mime |
25.04.3-1 |
Libraries and daemons to implement basic email handling |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
akonadi-mime |
25.07.90-1 |
Libraries and daemons to implement basic email handling |
2025-08-04 |
|
| x86_64 |
Extra |
akonadi-search |
25.04.3-1 |
Libraries and daemons to implement searching in Akonadi |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
akonadi-search |
25.07.90-1 |
Libraries and daemons to implement searching in Akonadi |
2025-08-04 |
|
| x86_64 |
Extra |
akonadiconsole |
25.04.3-1 |
Akonadi management and debugging console |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
akonadiconsole |
25.07.90-1 |
Akonadi management and debugging console |
2025-08-04 |
|
| x86_64 |
Extra |
akregator |
25.04.3-1 |
A Feed Reader by KDE |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
akregator |
25.07.90-1 |
A Feed Reader by KDE |
2025-08-04 |
|
| x86_64 |
Extra |
alex |
3.4.0.0-1 |
Lexical analyser generator for Haskell |
2025-08-04 |
|
| x86_64 |
Extra |
allure |
0.11.0.0-227 |
Near-future Sci-Fi roguelike and tactical squad combat game |
2025-08-04 |
|
| any |
Extra |
ammonite |
2.5.9-1 |
A cleanroom re-implementation of the Scala REPL from first principles. |
2025-08-04 |
2025-08-04 |
| x86_64 |
Extra |
analitza |
25.04.3-1 |
A library to add mathematical features to your program |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
analitza |
25.07.90-1 |
A library to add mathematical features to your program |
2025-08-04 |
|
| any |
Extra |
ananta |
1.1.2-1 |
A command-line tool to execute commands on multiple remote hosts |
2025-08-04 |
|
| x86_64 |
Extra |
arbtt |
0.12.0.3-102 |
Automatic Rule-Based Time Tracker |
2025-08-04 |
|
| x86_64 |
Extra |
arch-hs |
0.12.0.2-11 |
Distribute hackage packages to archlinux |
2025-08-04 |
|
| x86_64 |
Extra |
aria2 |
1.37.0-2 |
Download utility that supports HTTP(S), FTP, BitTorrent, and Metalink |
2025-08-04 |
|
| x86_64 |
Extra |
ark |
25.04.3-1 |
Archiving Tool |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
ark |
25.07.90-1 |
Archiving Tool |
2025-08-04 |
|
| x86_64 |
Extra |
artikulate |
25.04.3-1 |
Improve your pronunciation by listening to native speakers |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
artikulate |
25.07.90-1 |
Improve your pronunciation by listening to native speakers |
2025-08-04 |
|
| x86_64 |
Extra |
aspell |
0.60.8.1-2 |
A spell checker designed to eventually replace Ispell |
2025-08-04 |
|
| x86_64 |
Extra |
aspell-en |
2020.12.07-2 |
English dictionary for aspell |
2025-08-04 |
|
| x86_64 |
Extra |
attica5 |
5.116.0-1 |
Qt library that implements the Open Collaboration Services API |
2025-08-04 |
|
| x86_64 |
Extra |
audiocd-kio |
25.04.3-1 |
Kioslave for accessing audio CDs |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
audiocd-kio |
25.07.90-1 |
Kioslave for accessing audio CDs |
2025-08-04 |
|
| x86_64 |
Extra |
autossh |
1.4g-4 |
Automatically restart SSH sessions and tunnels |
2025-08-04 |
|
| x86_64 |
Extra |
avfs |
1.2.0-1 |
Virtual filesystem that allows browsing compressed files |
2025-08-04 |
|
| any |
Extra |
babel-cli |
7.27.2-1 |
A compiler for writing next generation JavaScript |
2025-08-04 |
|
| any |
Extra |
babel-core |
7.27.7-1 |
A compiler for writing next generation JavaScript |
2025-08-04 |
|
| x86_64 |
Extra |
babeld |
1.13-1 |
A loop-avoiding distance-vector routing protocol |
2025-08-04 |
|
| x86_64 |
Extra |
badvpn |
1.999.130-8 |
Peer-to-peer VPN system, and NCD, a programming language for network interface configuration |
2025-08-04 |
|
| x86_64 |
Extra |
baidupcs-go |
3.9.7-1 |
Terminal utility for Baidu Network Disk |
2025-08-04 |
|
| x86_64 |
Extra |
baka-mplayer |
2.0.4-6 |
A free and open source, cross-platform, libmpv based multimedia player. Qt5 build. |
2025-08-04 |
|
| x86_64 |
Extra |
baloo |
6.16.0-1 |
A framework for searching and managing metadata |
2025-08-04 |
|
| x86_64 |
Extra |
baloo-widgets |
25.04.3-1 |
Widgets for Baloo |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
baloo-widgets |
25.07.90-1 |
Widgets for Baloo |
2025-08-04 |
|
| x86_64 |
Extra |
barcode |
0.99-5 |
A tool to convert text strings to printed bars |
2025-08-04 |
|
| x86_64 |
Core |
bash |
5.3.3-2 |
The GNU Bourne Again shell |
2025-08-04 |
|
| any |
Extra |
bash-completion |
2.16.0-1 |
Programmable completion for the bash shell |
2025-08-04 |
|
| any |
Extra |
bash-language-server |
5.6.0-1 |
Bash language server implementation based on Tree Sitter and its grammar for Bash |
2025-08-04 |
|
| x86_64 |
Extra |
batctl |
2023.1-2 |
B.A.T.M.A.N. advanced control and management tool |
2025-08-04 |
2025-08-04 |
| x86_64 |
Extra |
bibletime |
3.1.1-1 |
Bible study tool |
2025-08-04 |
|
| x86_64 |
Extra |
blas-openblas |
0.3.30-1 |
An optimized BLAS library based on GotoBLAS2 1.13 BSD (Provides BLAS/CBLAS/LAPACK/LAPACKE system-wide) |
2025-08-04 |
|
| x86_64 |
Extra |
blas64-openblas |
0.3.30-1 |
An optimized BLAS library based on GotoBLAS2 1.13 BSD (64-bit integers, provides BLAS/CBLAS/LAPACK/LAPACKE system-wide) |
2025-08-04 |
|
| x86_64 |
Extra |
blinken |
25.04.3-1 |
Memory Enhancement Game |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
blinken |
25.07.90-1 |
Memory Enhancement Game |
2025-08-04 |
|
| any |
Extra |
blinksocks |
3.3.8-5 |
A framework for building composable proxy protocol stack. |
2025-08-04 |
|
| x86_64 |
Extra |
bluedevil |
1:6.4.3-1 |
Integrate the Bluetooth technology within KDE workspace and applications |
2025-08-04 |
|
| x86_64 |
Extra |
bluez-qt |
6.16.0-1 |
Qt wrapper for Bluez 5 DBus API |
2025-08-04 |
|
| x86_64 |
Extra |
bluez-qt5 |
5.116.0-1 |
Qt wrapper for Bluez 5 DBus API |
2025-08-04 |
|
| x86_64 |
Extra |
blur-effect |
1.1.3-3 |
Off-screen image blurring utility using OpenGL ES 3.0 |
2025-08-04 |
|
| x86_64 |
Extra |
bnfc |
2.9.5-37 |
A compiler front-end generator. |
2025-08-04 |
|
| x86_64 |
Extra |
boinc |
8.0.3-1 |
Berkeley Open Infrastructure for Network Computing for desktop |
2025-08-04 |
2025-08-04 |
| x86_64 |
Extra |
boinc-nox |
8.0.3-1 |
Berkeley Open Infrastructure for Network Computing for desktop without Xorg dependencies |
2025-08-04 |
2025-08-04 |
| x86_64 |
Extra |
boinctui |
2.7.1-1 |
Curses based fullscreen BOINC manager |
2025-08-04 |
|
| x86_64 |
Extra |
bomber |
25.04.3-1 |
A single player arcade game |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
bomber |
25.07.90-1 |
A single player arcade game |
2025-08-04 |
|
| x86_64 |
Extra |
bovo |
25.04.3-1 |
A Gomoku like game for two players |
2025-08-04 |
|
| x86_64 |
KDE-Unstable |
bovo |
25.07.90-1 |
A Gomoku like game for two players |
2025-08-04 |
|
| any |
Extra |
bower |
1.8.14-3 |
A package manager for the web |
2025-08-04 |
|
| x86_64 |
Extra |
breeze |
6.4.3-1 |
Artwork, styles and assets for the Breeze visual style for the Plasma Desktop |
2025-08-04 |
|
| any |
Extra |
breeze-grub |
6.4.3-1 |
Breeze theme for GRUB |
2025-08-04 |
|
| any |
Extra |
breeze-gtk |
6.4.3-1 |
Breeze widget theme for GTK 2 and 3 |
2025-08-04 |
|
| x86_64 |
Extra |
breeze-icons |
6.16.0-1 |
Breeze icon theme |
2025-08-04 |
|
| x86_64 |
Extra |
breeze5 |
6.4.3-1 |
Qt5 Breeze style |
2025-08-04 |
|
| x86_64 |
Extra |
brook |
20230122-1 |
A cross-platform proxy/vpn software |
2025-08-04 |
|
| x86_64 |
Core |
brotli |
1.1.0-3 |
Generic-purpose lossless compression algorithm |
2025-08-04 |
|
| x86_64 |
Core |
brotli-testdata |
1.1.0-3 |
Generic-purpose lossless compression algorithm - test data |
2025-08-04 |
|
| any |
Extra |
browserify |
17.0.1-1 |
browser-side require() the node way |
2025-08-04 |
|
| x86_64 |
Extra |
btfs |
2.24-4 |
A bittorrent filesystem based on FUSE |
2025-08-04 |
2025-08-04 |
| x86_64 |
Extra |
buddy |
2.4-7 |
Binary Decision Diagram Library |
2025-08-04 |
|