amazon-ec2-net-utils

utilities for managing network interfaces in Amazon EC2

amazon-ec2-net-utils provides udev integration and helper utilities to manage network configuration in the Amazon EC2 cloud environment

librte-dmadev22

Data Plane Development Kit (librte-dmadev runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

python3-cvelib

library and a command line interface for the CVE Services API

cvelib is a library and a command line interface to interact with the MITRE CVE Services API, including functions to reserve one or more CVE IDs for a CNA, filter and list reserved CVEs owned by a CNA, and administration of user and tokes for a CNA.

cpp-11-arc-linux-gnu

GNU C preprocessor

A macro processor that is used automatically by the GNU C compiler to transform programs before actual compilation.

php8.2-readline

readline module for PHP

This package provides the readline module(s) for PHP.

libcoq-mtac2

Mtac2 tactic language for Coq

This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.