librte-net-octeontx2-22
Data Plane Development Kit (librte-net-octeontx2 runtime library)
djstub
DJGPP-compatible stub manipulation tools
lzfse
LZFSE Compression library (command line tool)
gm2-11-mipsisa32r6el-linux-gnu
GNU Modula-2 compiler (cross compiler for mipsr6el architecture)
libclang-cpp16t64
C++ interface to the Clang library
bespokesynth
software modular synthesizer
gm2-14-mips-linux-gnu
GNU Modula-2 compiler for the mips-linux-gnu architecture
libpsmt2-frontend-ocaml
Parse and type-check SMT-LIB 2 (runtime files)
postgresql-14
The World's Most Advanced Open Source Relational Database
libghc-gi-freetype2-prof
freetype2 bindings; profiling libraries
gir1.2-mutter-15
GObject introspection data for Mutter
gm2-14-mips64-linux-gnuabi64
GNU Modula-2 compiler for the mips64-linux-gnuabi64 architecture
claws-mail-keyword-warner
Warning on message keywords for Claws Mail
gfortran-14-multilib-mipsisa64r6-linux-gnuabi64
GNU Fortran compiler (multilib support) (cross compiler for mips64r6 architectur
node-jss-preset-default
Default preset for node-jss with selected plugins
libghc-attoparsec-aeson-prof
Parsing of aeson's Value with attoparsec; profiling libraries
gobjc++-11-mipsel-linux-gnu
GNU Objective-C++ compiler
libadwaitaqt6priv1
Qt 6 port of GNOME’s Adwaita theme — private library
psmt2-frontend
Parse and type-check SMT-LIB 2 (tool)
libflatbuffers23.5.26
efficient cross platform serialization library - shared library
libcoq-extructures
data structures with extensional reasoning for Coq
libmutter-15-0
window manager library from the Mutter window manager
gobjc++-11-mipsisa32r6-linux-gnu
GNU Objective-C++ compiler
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)