python3-colcon-ros
collective construction meta build tool - ROS extension
This package is part of ROS 2, the Robot Operating System.
colcon is a meta build tool to improve the workflow of building, testing and
using multiple software packages. It is the recommended tool for ROS 2 to set
up workspaces and build packages from source, but can also handle old ROS 1
workspaces.
libparted2t64
disk partition manipulator - shared library
GNU Parted is a program that allows you to create, destroy, resize,
move, and copy disk partitions. This is useful for creating space
for new operating systems, reorganizing disk usage, and copying data
to new hard disks.
haskell-what4-utils
Solver-agnostic symbolic values support for issuing queries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.
libndpi4.2
extensible deep packet inspection library - shared library
nDPI is a ntop-maintained superset of the popular OpenDPI library. Released
under the LGPL license, its goal is to extend the original library by adding
new protocols that are otherwise available only on the paid version of
OpenDPI.
gir1.2-uhm-1.0
HTTP web service mocking - GObject introspection files
uhttpmock is a HTTP web service mocking project for projects which use
libsoup. It is still in its infancy, but is already used by libgdata
for unit testing.