vmware-manager
utility to manage VMware virtual machines
gcj-4.8-jre
Java runtime environment using GIJ/Classpath
chocolate-hexen
Hexen engine closely-compatible with Vanilla Hexen
libcoq-extructures
data structures with extensional reasoning for Coq
libx32go14
Runtime library for GNU Go applications (x32)
libnetsvcs-6.3.3
ACE network service implementations - libraries
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
libwinpr-sspi0.1
Windows Portable Runtime library (sspi library)
zopfli
zlib (gzip, deflate) compatible compressor
libcoq-deriving
deriving MathComp classes from inductive types
cl-umlisp-orf
Common Lisp Unified Medical Language System Interface, ORF
gdc-9-aarch64-linux-gnu
GNU D compiler (version 2) (cross compiler for arm64 architecture)
ceilometer-api
OpenStack efficient metering counters system (API service)
libcoq-record-update
automatic record fields updaters for Coq
libdigest-ssdeep-perl
Pure Perl ssdeep (CTPH) fuzzy hashing
gcc-9-mips-linux-gnu
GNU C compiler (cross compiler for mips architecture)
gcc-9-mips-linux-gnu-base
GCC, the GNU Compiler Collection (base package)
r-cran-dynlm
GNU R package for dynamic linear models and time series regression
python3-django-split-settings
Organize Django settings into multiple files and directories (Python3 version)
libtogl1
a Tk OpenGL widget
gcc-9-mips64el-linux-gnuabi64-base
GCC, the GNU Compiler Collection (base package)
g++-9-mips64el-linux-gnuabi64
GNU C++ compiler (cross compiler for mips64el architecture)
gcc-9-mipsel-linux-gnu-base
GCC, the GNU Compiler Collection (base package)
gcc-9-multilib-mips64el-linux-gnuabi64
GNU C compiler (multilib support) (cross compiler for mips64el architecture)