libghc-ogma-language-xlsx-prof
Runtime Monitor translator: XLSX Frontend; profiling libraries
Ogma is a tool to facilitate the integration of safe runtime monitors into
other systems. Ogma extends
<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
verification framework that generates hard real-time C99 code.
libghc-ogma-language-smv-prof
Ogma: Runtime Monitor translator: SMV Language Frontend; profiling libraries
Ogma is a tool to facilitate the integration of safe runtime monitors into
other systems. Ogma extends
<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
verification framework that generates hard real-time C99 code.
librte-bitratestats22
Data Plane Development Kit (librte-bitratestats runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
librte-baseband-turbo-sw22
Data Plane Development Kit (librte-baseband-turbo-sw runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
librte-baseband-null22
Data Plane Development Kit (librte-baseband-null runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
opensmtpd-table-passwd
lookup OpenSMTPD users in passwd-format tables
This package provides the passwd table for OpenSMTPD. A "passwd" table stores
information regarding local users. The information is encoded using the
traditional passwd(5) format and allows the sharing of a user database across
different software supporting this format.