libstdc++-11-pic-armel-cross
GNU Standard C++ Library v3 (shared library subset kit) (armel)
This is used to develop subsets of the libstdc++ shared libraries for
use on custom installation floppies and in embedded systems.
librte-net-mlx4-22
Data Plane Development Kit (librte-net-mlx4 runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
libghc-what4-prof
Solver-agnostic symbolic values support for issuing queries; profiling libraries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.
gfortran-14-multilib-mips-linux-gnu
GNU Fortran compiler (multilib support) (cross compiler for mips architecture)
This is the GNU Fortran compiler, which compiles Fortran on platforms
supported by the gcc compiler.
gfortran-14-mipsisa64r6-linux-gnuabi64
GNU Fortran compiler for the mipsisa64r6-linux-gnuabi64 architecture
This is the GNU Fortran compiler for the mipsisa64r6-linux-gnuabi64 architecture,
which compiles Fortran on platforms supported by the gcc compiler.
It uses the gcc backend to generate optimized code.
python3-json-log-formatter
JSON formatter logging for Python
This library allows one to configure Python logging to
use a JSON formatter.