gcc-12-mipsisa64r6-linux-gnuabi64-base
GCC, the GNU Compiler Collection (base package)
libstdc++-11-dev-riscv64-cross
GNU Standard C++ Library v3 (development files) (riscv64)
libstdc++-11-dev-sh4-cross
GNU Standard C++ Library v3 (development files) (sh4)
libstdc++-11-dev-x32-cross
GNU Standard C++ Library v3 (development files) (x32)
libstdc++-11-pic-alpha-cross
GNU Standard C++ Library v3 (shared library subset kit) (alpha)
libstdc++-11-pic-m68k-cross
GNU Standard C++ Library v3 (shared library subset kit) (m68k)
libstdc++-11-pic-ppc64-cross
GNU Standard C++ Library v3 (shared library subset kit) (ppc64)
libstdc++-11-pic-sh4-cross
GNU Standard C++ Library v3 (shared library subset kit) (sh4)
libstdc++-11-pic-sparc64-cross
GNU Standard C++ Library v3 (shared library subset kit) (sparc64)
postgresql-16-pgfaceting
Faceted query acceleration for PostgreSQL using roaring bitmaps
fcitx5-table-emoji
Flexible Input Method Framework v5 - Emoji table
libcoq-deriving
deriving MathComp classes from inductive types
libcoq-extructures
data structures with extensional reasoning for Coq
libqgis-app3.22.14
QGIS - shared app library
libqgis-analysis3.22.14
QGIS - shared analysis library
python3-html5rdf
HTML parser based on the WHATWG HTML specification
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
php-symfony-twitter-notifier
Symfony Twitter Notifier Bridge
python3-roundrobin
collection of roundrobin utilities
fcitx5-table-cns11643
Flexible Input Method Framework v5 - Cns11643 table
python3-retry
easy to use retry decorator
python3-pystray
Python library to create system tray icons (Python 3)
libcoq-record-update
automatic record fields updaters for Coq
libplexus-languages-0.9-java
Plexus shared language features