python3-ament-cppcheck

Python 3 module for cppcheck support in ROS 2 ament packages

The ament build system is the most common way to build packages for ROS 2. This package provides the Python 3 module that adds cppcheck linter support to ament.

libopencv-objdetect4.5d

computer vision Object Detection library

This package contains the OpenCV (Open Computer Vision) Object Detection runtime libraries.

qt6-image-formats-plugins

Qt 6 Image Formats plugins

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

postgresql-15-q3c

PostgreSQL 15 extension used for indexing the sky

Q3C, an extension for PostgreSQL, is designed for the work with large astronomical catalogues or any catalogs of objects on the sphere.

python3-covdefaults

coverage plugin to provide sensible default settings

covdefaults provides a default setting for test coverage in Python projects, often used to measure how much of your program's code is exercised by automated tests.

libcoq-dpdgraph-ocaml

Coq plugin to extract dependencies between Coq objects (runtime)

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.