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.
libcoq-mtac2
Mtac2 tactic language for Coq
This plugin for Coq provides the Mtac2
typed tactic language for backward reasoning.