This package is part of the SCIP Optimization Suite. SoPlex is an optimization package for solving linear programming problems (LPs) based on an advanced implementation of the primal and dual revised simplex algorithm. It provides special support for the exact solution of LPs with rational input data.

This package provides the various README files and HTML documentation for the Linux kernel version 6.7. Plenty of information, including the descriptions of various kernel subsystems, filesystems, driver-specific notes and the like. An index to the documentation is installed as /usr/share/doc/linux-doc-6.7/html/index.html.

This package provides support files for the Linux kernel build, e.g. scripts to handle ABI information and for generation of build system meta data.

AddressSanitizer (ASan) is a fast memory error detector. It finds use-after-free and {heap,stack,global}-buffer overflow bugs in C/C++ programs.

AddressSanitizer (ASan) is a fast memory error detector. It finds use-after-free and {heap,stack,global}-buffer overflow bugs in C/C++ programs.

This package needs to be installed and configured on all nodes of a Patroni PostgreSQL cluster. Given a Patroni namespace and scope in etcd or consul, the vip-manager service monitors that namespace for leader changes due to failovers or switchovers and adds or removes the VIP on the local node accordingly.