libcoq-extructures
data structures with extensional reasoning for Coq
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
gnat-11-mipsisa64r6-linux-gnuabi64
GNU Ada compiler
libcoq-record-update
automatic record fields updaters for Coq
gnat-11-mips64el-linux-gnuabi64
GNU Ada compiler
libunwind-16t64
production-quality unwinder
libcoq-reglang
representation of regular languages in Coq
libismrmrd1.8
ISMRM Raw Data format (ISMRMRD)
gnome-kiosk-script-session
Basic session used for running kiosk application from shell script
libhttpcore5-java
set of low level HTTP transport components for Java
libmlir-16t64
Multi-Level Intermediate Representation library
cpucycles
command-line tool for counting CPU cycles (libcpucycles)
libghc-concurrent-extra-prof
Extra concurrency primitives; profiling libraries
libmpv2
video player based on MPlayer/mplayer2 (client library)
libclang1-16t64
C interface to the Clang library
python3-findlibs
Python 3 module to discover libraries.
gm2-11-mipsisa32r6el-linux-gnu
GNU Modula-2 compiler (cross compiler for mipsr6el architecture)
libclang-cpp16t64
C++ interface to the Clang library
claws-mail-keyword-warner
Warning on message keywords for Claws Mail
libc++abi1-16t64
LLVM low level support for a standard C++ library
python3-slepc4py-real3.15
Python 3 bindings for SLEPc 3.15 libraries (real numbers)
libc++1-16t64
LLVM C++ Standard library
r-cran-mixsqp
Quadratic Programming for Estimation of Mixture Proportions
python3-slepc4py-64-complex3.15
Python 3 bindings for 64-bit SLEPc 3.15 libraries (complex numbers)