libkpim6incidenceeditor6

KDE PIM incidence editor - library

This library provides an incidence editor for KDE PIM.

haproxy-cmd

command line utility to control backends of haproxy

This package contains a helper to send commands through the haproxy socket, so it is possible to maintain servers part of a cluster by draining, enabling and stopping servers part of a backend.

node-decko

useful Javascript decorators

Decorators help simplify code by replacing the noise of common patterns with declarative annotations.

libhierarchy-builder-coq

build hierarchies of algebraic structures in Coq (runtime files)

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

llvm-11-linker-tools

Modular compiler and toolchain technologies

LLVM is a collection of libraries and tools that make it easy to build compilers, optimizers, just-in-time code generators, and many other compiler-related programs.

python3-colcon-python-setup-py

Extension for colcon to identify packages with setup.py

This package is part of Robot OS version 2 (ROS2). It extends colcon, the meta build tool used in ROS2, by identifying packages with a setup.py file by introspecting the arguments to the setup() function call of setuptools.