liblavfile-2.1-0t64
MJPEG capture/editing/replay and MPEG encoding toolset (library)
The mjpeg programs are a set of tools that can do recording of videos and
playback, simple cut-and-paste editing and the MPEG compression of audio and
video under Linux.
qml-module-lomiri-components
Qt Components for Lomiri - Components QML plugin
Qt Components for Lomiri offers a set of reusable user interface
components for Qt Quick 2 / QML.
libqt6quick3druntimerender6
Qt 6 Quick 3D Runtime Renderer library
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
libcppdb-mysql0t64
SQL Connectivity Library (MySQL backend)
CppDB is an SQL connectivity library that is designed to provide platform and
Database independent connectivity API similarly to what JDBC, ODBC and other
connectivity libraries do.
libcoq-iris
high-order concurrent separation logic framework for Coq
This package provides a high-order concurrent separation
logic framework for Coq, which means it is useful to reason
about safety of concurrent programs.
libzarchive0.1
library for creating and reading zstd-compressed files
ZArchive is yet another file archive format. Think of zip, tar, 7z,
etc. but with the requirement of allowing random-access reads and
supporting Zstandard compression.