Agda-2.6.4.3
Armadillo
BibTool
CGAL
Catch2
Cppcheck
ECM
GConf
HepMC3
IP2Location
ImageMagick-7
KPim6Libkleo
LHAPDF
MHonArc
PySide6
Pythia8
QtCurve
Thunar
X11
accel-ppp
accounts
accounts-qml-module
aclocal
akonadi
akregator
alex-3.4.0.1
alsa
ansible
appdata
applications
applnk
apps
arc
arpwatch
arrow
arrow-glib
atf
audacious
audex
augeas
authselect
backgrounds
backupninja
bacula
bakefile
baresip
bash-completion
bdii
beakerlib
blinken
bluechi
bluechi-agent
bluedevilwizard
bluefish
bomber
bootc-gtk
bovo
btop
btrfs-efi
c2hs-0.28.8
c_icap
carddecks
cargo
castxml
cdbs
cgit
cheat
clifm
cmake
cobbler
codeblocks
colcon_argcomplete
colcon_cd
collectd
color-schemes
composer
config.kcfg
contractor
converseen
coturn
cpuinfo
create-fake-rpm
criterion-1.6.3.0
csbuild
cscppc
csdiff
csmock
cubegui
cubelib
cubew
cups
cvs
davfs2
dbench
dbus-1
dbus-test-runner
dcmtk
dcw-gmt
ddcutil
debconf
debhelper
debootstrap
debugbreak
deepin
desktop-directories
devhelp
dh-autoreconf
dhall-1.42.1
dhcpd-pools
distribution-gpg-keys
djvu
dnf-repo-0.6.1
doc
dolphin
dpkg
dvdauthor
dwarfdump
easy-rsa
eggdrop
egl
emacs
enchant
evolution
evolution-data-server
falkon
fastfetch
fcode-utils
fedora-license-data
feed-1.3.2.1
ffmpeg
figlet
fish
flatseal
fontawesome
fontconfig
fonts
fonts-compare
foomuuri
fpcsrc
frog-protocols
fzf
g2c
gaupol
gdal
gdb
gdcm-3.0
geany
gedit
gems
gengetopt
gettext
ghc-lib-parser-9.6.6.20240701
ghc-rpm-macros
gir-1.0
givaro
glib-2.0
globus
gnome-background-properties
gnome-control-center
gnome-session
gnome-shell
gnome-tweaks
gnuastro
gnuchess
gocode
granatier
grpc
gscan2pdf
gshhg-gmt-nc4
gsoap
gtk-2.0
gtk-doc
gtk-engines
gtk2hs-buildtools-0.13.11.0
gtksourceview-3.0
gtksourceview-4
gv
gwenview
hal
happy-1.20.1.1
hardinfo2
help
highlight
hlint-3.6.1
hscolour-1.25
hspell
hwk-0.6
icedtea-web
icon-naming-utils
icons
imagej
importwizard
info
installed-tests
ipa
ipv6calc
ipv6toolkit
isoimagewriter
java
javadoc
javascript
jcuber
joe
js-chart-2.9.4.1
js-dgtable-0.5.2
js-flot-0.8.3
js-jquery-3.3.1
juk
jupyter
kImageAnnotator
kaddressbook
kalarm
kanagram
kapman
katepart5
kateproject
katexmltools
katomic
kblackbox
kblocks
kbounce
kbrickbuster
kbruch
kcachegrind
kcm-gtk-module
kcm_networkmanagement
kcm_recentFiles
kcmcss
kcmkeys
kcmmouse
kcmsolidactions
kconf_update
kcontrol
kde-settings
kde4
kdebugsettings
kdeconnect
kdevappwizard
kdiamond
keepassxc
keyrings
kf6
kfontinst
kfourinline
kgamma
kgeography
kget
kglobalaccel
kgoldrunner
khangman
khard
khelpcenter
kigo
kile
killbots
kinfocenter
kio
kio_bookmarks
kio_desktop
kio_filenamesearch
kio_info
kio_perldoc
kiriki
kiten
kiwi
kjumpingcube
klettres
klickety
klines
kmag
kmahjongg
kmahjongglib
kmail2
kmenuedit
kmines
kmix
kmodtool
kmousetool
kmouth
knavalbattle
knetwalk
knights
knotifications6
knsrcfiles
koji
koji-hub
koji-web
kojivmd
koko
kolf
kollision
kolourpaint
konqsidebartng
konqueror
konquest
konversation
korganizer
kpackage
kreversi
krfb
kruler
krunner
kservices5
ksirk
ksirkskineditor
ksmserver
ksnakeduel
kspaceduel
kstyle
ksudoku
ksysguard
ktorrent
ktuberling
kubrick
kwin
kwordquiz
kxmlgui5
kyua
ladspa
lagrange
lemonldap-ng
libanalitza
libayatana-indicator
libcaca
libchewing
libdiscover
libftdi
libgedit-gtksourceview-300
libindicator
libkleopatra
libkolabxml
libmessageviewer
libmysofa
libweston-14
libwmf
license-validate
licenses
linkchecker
lirc
lmod
locale
lowdown
lskat
lua
luajit-2.1
lv2specgen
lxc
lxcfs
maliit
man
marble
massif-visualizer
mate-background-properties
matplotlib
maven-metadata
maven-poms
media-player-info
messagelist
messageviewer
metainfo
mime
mimelnk
minuet
mirmon
misc
mkspecs
mlmmj
mlnx-tools
model
mr
munin
nagios
nautilus-python
ncrack
ncview
netatalk
nextcloud
nginx
nickle
nikto
notcurses
novnc
nut
nvim
ofarc
ofdns
ofhash
ofhttp
okular
onesixtyone
opari2
openal
opencv4
opendbx
opendmarc
opengl-games-utils
openldap-servers
openscad
openxr
org.kde.syntax-highlighting
otf2
packetdrill
packeth
palapeli
pandoc-3.1.11.1
parley
perl5
phoronix-test-suite
php
phpMyAdmin
picmi
pie
pipx
pixmaps
pkgconfig
plasma
plasma-mobile-apn-info
plasma-settings
plasma-systemmonitor
plasma-wayland-protocols
plasma5support
plymouth
pmdk
po-debconf
polkit-1
powerline
pretty-show-1.10
proj
proton
pslib
purpose
python3.13-wheels
qalculate
qalculate-qt
qemu
qlogging-categories6
qmplay2
qt5
qt5ct
qt5keychain
qt6
qt6ct
qt6keychain
qtcreator
racket
radare2
radcli
ramalama
rdesktop
re2c
remmina
remoteview
rlwrap
root
roundcubemail
rpkg
rpmdistro-repoquery
ruby-build
scalasca
scorep
screen
sddm
selinux
sendmail-cf
services
sgml
shake-0.19.8
sieve
skladnik
snapd
solid
sounds
spamassassin
spdrs60
speakersafetyd
step
stoken
strongswan
sympa
syslog-ng
systemsettings
systemtap
templates
tests
testssl
texlive
themes
thumbnailers
tinyproxy
tmux
toml-test
tracer
tsk
udunits
ufw
uncrustify
urdfdom_headers
user-tmpfiles.d
vala
vaultwarden-web
vcstool-completion
verilator
vifm
vim
vlc
voms
vpl
vulkan
w3m
waf3
wallpapers
wayland-eglstream
wayland-sessions
web-assets
webenginepart
weston
what4-1.5.1
wordpress
worker
wsl-setup
x2go
x2goclient
xdg-desktop-portal
xdg-terminal-exec
xfce4
xine
xine-lib
xml
xournalpp
xrootd
xsessions
yakuake
yelp
yelp-xsl
zabbix
zabbix-mysql
zabbix-postgresql
zabbix-sqlite3
zsh