| x86_64 |
Extra |
agda |
2.6.4-26 |
A dependently typed functional programming language and proof assistant |
2024-04-25 |
2023-12-18 |
| any |
Extra |
ant |
1.10.14-1 |
Java based build tool |
2023-09-23 |
|
| any |
Extra |
ant-doc |
1.10.14-1 |
Apache Ant build tool documentation |
2023-09-23 |
|
| x86_64 |
Extra |
anthy |
9100h-6 |
Hiragana text to Kana Kanji mixed text Japanese input method |
2020-05-19 |
|
| x86_64 |
Extra |
antiword |
0.37-10 |
A free MS Word reader for Linux and RISC OS |
2023-05-23 |
|
| any |
Extra |
antlr4 |
4.13.1-1 |
Parser generator for reading, processing, executing, or translating structured text or binary files |
2023-10-09 |
|
| x86_64 |
Extra |
antlr4-runtime |
4.13.1-1 |
Antlr C++ runtime |
2023-10-09 |
|
| x86_64 |
Extra |
bubblewrap-suid |
0.9.0-1 |
Unprivileged sandboxing tool (setuid variant) |
2024-04-01 |
|
| any |
Extra |
busted |
2.2.0-1 |
Elegant Lua unit testing (CLI) |
2023-11-06 |
|
| any |
Extra |
cantarell-fonts |
1:0.303.1-1 |
Humanist sans serif font |
2021-12-10 |
|
| x86_64 |
Extra |
canto-curses |
0.9.9-5 |
Next-gen console RSS/Atom reader |
2023-05-19 |
|
| x86_64 |
Extra-Testing |
canto-curses |
0.9.9-6 |
Next-gen console RSS/Atom reader |
2024-04-21 |
|
| any |
Extra |
canto-daemon |
0.9.8-4 |
Next-gen console RSS/Atom reader |
2023-05-19 |
|
| any |
Extra-Testing |
canto-daemon |
0.9.8-5 |
Next-gen console RSS/Atom reader |
2024-04-21 |
|
| x86_64 |
Extra |
cantor |
24.02.2-1 |
KDE Frontend to Mathematical Software |
2024-04-11 |
|
| x86_64 |
Extra-Testing |
cantor |
24.02.2-2 |
KDE Frontend to Mathematical Software |
2024-04-21 |
|
| x86_64 |
Extra |
capnet-assist |
2.4.4-1 |
Captive Portal Assistant |
2023-06-03 |
|
| x86_64 |
Extra |
cartridge-cli |
2.12.5-1 |
Tarantool Cartridge command-line utility |
2023-05-19 |
|
| x86_64 |
Extra |
ccls |
0.20230717-2 |
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting |
2024-03-07 |
|
| x86_64 |
Extra |
cerbere |
2.5.1-2 |
The Pantheon Watchdog |
2023-05-19 |
|
| x86_64 |
Extra |
clamav |
1.2.1-1 |
Anti-virus toolkit for Unix |
2023-10-27 |
2024-02-07 |
| x86_64 |
Extra |
cmocka |
1.1.7-1 |
Elegant unit testing framework for C with support for mock objects |
2023-05-25 |
|
| x86_64 |
Extra |
coq-doc |
8.19.1-2 |
HTML and PDF documentation for the Coq proof assistant |
2024-03-09 |
|
| x86_64 |
Extra |
coqide |
8.19.1-2 |
GTK-based graphical interface for the Coq proof assistant |
2024-03-09 |
|
| x86_64 |
Extra |
dante |
1.4.3-3 |
SOCKS v4 and v5 compatible proxy server and client |
2023-05-19 |
|
| x86_64 |
Core |
dash |
0.5.12-1 |
POSIX compliant shell that aims to be as small as possible |
2023-03-08 |
|
| x86_64 |
Extra |
deepin-music |
7.0.4-1 |
Awesome music player with brilliant and tweakful UI Deepin-UI based. |
2024-04-10 |
|
| x86_64 |
Extra |
dhall |
1.41.2-150 |
A configuration language guaranteed to terminate |
2024-04-23 |
2023-08-26 |
| x86_64 |
Extra |
dwarffortress |
50.13-1 |
A single-player fantasy game in which you build a dwarven outpost or play an adventurer in a randomly generated world |
2024-04-26 |
|
| x86_64 |
Extra |
e-antic |
2.0.2-2 |
Embedded algebraic number fields (on top of antic) |
2024-02-25 |
|
| x86_64 |
Core |
ed |
1.20.1-1 |
A POSIX-compliant line-oriented text editor |
2024-02-22 |
2024-04-24 |
| x86_64 |
Extra |
elephantdsp-roomreverb-clap |
1.1.0-1 |
A mono and stereo algorithmic room reverb audio effect plugin - CLAP plugin |
2023-12-02 |
|
| x86_64 |
Extra |
elephantdsp-roomreverb-lv2 |
1.1.0-1 |
A mono and stereo algorithmic room reverb audio effect plugin - LV2 plugin |
2023-12-02 |
|
| x86_64 |
Extra |
elephantdsp-roomreverb-vst3 |
1.1.0-1 |
A mono and stereo algorithmic room reverb audio effect plugin - VST3 plugin |
2023-12-02 |
|
| x86_64 |
Extra |
enchant |
2.6.5-1 |
A wrapper library for generic spell checking |
2024-01-08 |
2024-02-04 |
| x86_64 |
Extra |
fcgi |
2.4.2-3 |
FASTCgi (fcgi) is a language independent, high performant extension to CGI |
2024-03-18 |
|
| x86_64 |
Extra |
fcitx-anthy |
0.2.4-1 |
Fcitx Wrapper for anthy. |
2023-05-19 |
|
| x86_64 |
Extra |
fcitx5-anthy |
5.1.3-1 |
Anthy Wrapper for Fcitx5 |
2024-01-06 |
|
| any |
Extra |
firefox-developer-edition-i18n-eo |
126.0b5-1 |
Esperanto language pack for Firefox Developer Edition |
2024-04-24 |
|
| any |
Extra |
firefox-developer-edition-i18n-sat |
126.0b5-1 |
Santali language pack for Firefox Developer Edition |
2024-04-24 |
|
| any |
Extra |
firefox-i18n-eo |
125.0.2-1 |
Esperanto language pack for Firefox |
2024-04-22 |
|
| any |
Extra |
firefox-i18n-sat |
125.0.2-1 |
Santali language pack for Firefox |
2024-04-22 |
|
| x86_64 |
Extra |
freecell-solver |
6.8.0-1 |
A program that automatically solves layouts of Freecell and similar variants of Card Solitaire |
2022-10-20 |
|
| x86_64 |
Extra |
gala |
7.1.3-2 |
The Pantheon Window Manager |
2024-03-23 |
|
| x86_64 |
Extra-Testing |
gala |
7.1.3.r68.5644c667-1 |
The Pantheon Window Manager |
2024-03-29 |
|
| x86_64 |
Extra |
garcon |
4.18.2-1 |
Freedesktop.org compliant menu library |
2024-02-05 |
|
| x86_64 |
Extra |
gifski |
1.32.0-1 |
GIF encoder based on libimagequant (pngquant). Squeezes maximum possible quality from the awful GIF format. |
2024-04-25 |
|
| x86_64 |
Extra |
grantlee |
5.3.1-1 |
A string template engine based on the Django template system and written in Qt |
2022-11-12 |
|
| x86_64 |
Extra |
grantlee-editor |
24.02.2-1 |
Editor for Grantlee themes |
2024-04-11 |
|
| x86_64 |
Extra |
grantleetheme |
24.02.2-1 |
Library for Grantlee theming support |
2024-04-11 |
|
| x86_64 |
Extra |
grantleetheme5 |
23.08.5-2 |
Library for Grantlee theming support |
2024-03-06 |
|
| x86_64 |
Extra |
haskell-base16-bytestring |
1.0.2.0-80 |
RFC 4648-compliant Base16 encodings for ByteStrings |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-base64 |
0.4.2.4-69 |
A modern RFC 4648-compliant Base64 library |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-co-log-core |
0.3.2.1-16 |
Composable Contravariant Comonadic Logging Library |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-contravariant |
1.5.5-4 |
Contravariant functors |
2024-03-05 |
|
| x86_64 |
Extra |
haskell-contravariant-extras |
0.3.5.4-2 |
Extras for the "contravariant" package |
2024-03-05 |
|
| x86_64 |
Extra |
haskell-hourglass |
0.2.12-246 |
simple performant time related library |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-invariant |
0.6.3-3 |
Haskell98 invariant functors |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-lexer |
1.1.1-2 |
A fully compliant Haskell 98 lexer |
2024-03-05 |
|
| x86_64 |
Extra |
haskell-pandoc-server |
0.1.0.5-24 |
Pandoc document conversion as an HTTP servant-server |
2024-04-25 |
|
| x86_64 |
Extra |
haskell-pantry |
0.5.7-236 |
Content addressable Haskell package management |
2024-04-23 |
2023-11-14 |
| x86_64 |
Extra |
haskell-presburger |
1.3.1-22 |
A decision procedure for quantifier-free linear arithmetic |
2024-03-05 |
|
| x86_64 |
Extra |
haskell-relude |
1.2.0.0-8 |
Safe, performant, user-friendly and lightweight Haskell Standard Library. |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-servant |
0.20.1-9 |
A family of combinators for defining webservices APIs |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-servant-client |
0.20-18 |
Automatic derivation of querying functions for servant |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-servant-client-core |
0.20-11 |
Core functionality and class for client function generation for servant APIs |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-servant-server |
0.20-16 |
A family of combinators for defining webservices APIs and serving them |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-servant-swagger |
1.2-14 |
Generate Swagger specification for your servant API |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-storable-record |
0.0.7-28 |
Elegant definition of Storable instances for records |
2024-04-23 |
|
| x86_64 |
Extra |
haskell-tagged |
0.8.8-2 |
Haskell 98 phantom types to avoid unsafely passing dummy arguments |
2024-03-05 |
|
| x86_64 |
Extra |
haskell-tasty-ant-xml |
1.1.9-16 |
Render tasty output to XML for Jenkins |
2024-04-23 |
|
| any |
Extra |
home-assistant |
1:2024.3.3-1 |
Open source home automation that puts local control and privacy first |
2024-03-27 |
2024-04-03 |
| any |
Extra-Testing |
home-assistant |
1:2024.4.3-1 |
Open source home automation that puts local control and privacy first |
2024-04-21 |
|
| x86_64 |
Extra |
ibus-anthy |
1.5.15-1 |
Japanese input method Anthy IMEngine for IBus Framework |
2023-10-04 |
|
| x86_64 |
Extra-Testing |
ibus-anthy |
1.5.15-2 |
Japanese input method Anthy IMEngine for IBus Framework |
2024-04-21 |
|
| x86_64 |
Extra |
isomd5sum |
1.2.4-1 |
Utilities for working with md5sum implanted in ISO images |
2024-02-26 |
|
| x86_64 |
Extra-Testing |
isomd5sum |
1.2.4-2 |
Utilities for working with md5sum implanted in ISO images |
2024-04-21 |
|
| x86_64 |
Extra |
kooha |
2.3.0-5 |
Elegantly record your screen |
2024-04-04 |
|
| any |
Extra |
ktlint |
1.1.1-1 |
An anti-bikeshedding Kotlin linter with built-in formatter |
2024-01-29 |
|
| x86_64 |
Extra |
kvantum |
1.1.0-1 |
SVG-based theme engine for Qt6 (including config tool and extra themes) |
2024-03-17 |
|
| x86_64 |
Extra |
kvantum-qt5 |
1.1.0-1 |
SVG-based theme engine for Qt5 |
2024-03-17 |
|
| any |
Extra |
kvantum-theme-materia |
20220823-3 |
Materia theme for KDE Plasma 5 |
2023-10-01 |
|
| x86_64 |
Multilib |
lib32-cmocka |
1.1.7-1 |
Elegant unit testing framework for C with support for mock objects |
2023-03-19 |
|
| x86_64 |
Multilib |
lib32-opencl-clover-mesa |
1:24.0.5-1 |
Open-source OpenCL drivers - Clover variant - 32-bit |
2024-04-11 |
|
| x86_64 |
Multilib-Testing |
lib32-opencl-clover-mesa |
1:24.0.6-1 |
Open-source OpenCL drivers - Clover variant - 32-bit |
2024-04-24 |
|
| x86_64 |
Multilib |
lib32-opencl-rusticl-mesa |
1:24.0.5-1 |
Open-source OpenCL drivers - RustICL variant - 32-bit |
2024-04-11 |
|
| x86_64 |
Multilib-Testing |
lib32-opencl-rusticl-mesa |
1:24.0.6-1 |
Open-source OpenCL drivers - RustICL variant - 32-bit |
2024-04-24 |
|
| x86_64 |
Multilib |
lib32-xcb-util-keysyms |
0.4.1-1 |
Utility libraries for XC Binding - Standard X key constants and conversion to/from keycodes |
2022-10-31 |
|
| x86_64 |
Extra |
libantlr3c |
3.5.3-1 |
ANother Tool for Language Recognition |
2023-05-19 |
|
| x86_64 |
Extra |
libdbi |
0.9.0-5 |
Database independant abstraction layer for C |
2023-05-19 |
|
| x86_64 |
Extra |
libhubbub |
0.3.8-1 |
HTML5 compliant parsing library |
2024-01-02 |
|
| x86_64 |
Extra |
libimagequant |
4.3.0-1 |
Library for high-quality conversion of RGBA images to 8-bit indexed-color (palette) images |
2024-02-25 |
|
| x86_64 |
Extra |
libnatpmp |
20230423-2 |
A portable and fully compliant implementation of the NAT-PMP protocol |
2023-09-23 |
|
| x86_64 |
Extra |
libredefender |
0.7.0-1 |
Light-weight antivirus scanner for Linux |
2023-09-03 |
|
| any |
Extra |
libreoffice-fresh-eo |
24.2.2-1 |
Esperanto language pack for LibreOffice Fresh |
2024-03-28 |
|
| any |
Extra |
libreoffice-fresh-sat |
24.2.2-1 |
Santali language pack for LibreOffice Fresh |
2024-03-28 |
|
| any |
Extra |
libreoffice-still-eo |
7.6.6-1 |
Esperanto language pack for LibreOffice still |
2024-03-28 |
|
| any |
Extra |
libreoffice-still-sat |
7.6.6-1 |
Santali language pack for LibreOffice still |
2024-03-28 |
|
| x86_64 |
Extra |
libsoxr |
0.1.3-3 |
The SoX Resampler library that aims to give fast and high quality results for any constant resampling ratio |
2022-12-21 |
|
| x86_64 |
Extra |
lightdm-pantheon-greeter |
7.0.0-3 |
Pantheon greeter for LightDM |
2024-03-23 |
|