librlog5t64
flexible message logging library
RLog provides a flexible message logging facility for C++ programs and
libraries. It is meant to be fast enough to live in production code.
libcamera-calibration-parsers0t64
Robot OS camera_calibration_parsers package
This package is part of Robot OS (ROS). The package provides
the library with routines for reading and writing camera
calibration parameters.
libcvc5-1
automated theorem prover for SMT problems (runtime)
cvc5 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories). It is the
fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
CVC3, CVC4) but does not directly incorporate code from any previous version
prior to CVC4.
libtemplate-plugin-gettext-perl
Gettext Support For the Template Toolkit Version 2
Template::Plugin::Gettext provides an end-to-end localization and
internationalization solution for the Template Toolkit 2.
libtty1t64
terminal/ttyrec library -- runtime
libtty is a library for handling terminal output. It is kind of "reverse
curses" -- it is on the receiving end of tty data, accepting vt100 codes
and managing a virtual terminal. It lacks input handling thus is unfit
for a real terminal emulator, but includes functions for storing a history
of frames to handle a "video" recording.
openjdk-22-jdk-headless
OpenJDK Development Kit (JDK) (headless)
OpenJDK is a development environment for building applications,
applets, and components using the Java programming language.