sqopv
Stateless OpenPGP Verification-only Command Line Interface using Sequoia
sqopv offers a Rust-based implementation of the Stateless OpenPGP
Command Line Interface's verification-only subset (also known as "sopv").
libcoq-aac-tactics
Coq tactics for reasoning modulo AC (theories)
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
pmarkdown
configurable Markdown processor, supporting the CommonMark spec and extensions
The pmarkdown script reads from standard input and writes to standard output.
Both are assumed to be encoded in UTF-8.
libportal-gtk4-1
Flatpak portal library for GTK 4 GUIs
libportal provides GIO-style C APIs for most Flatpak portals' D-Bus
interfaces. It is primarily intended for installation in Flatpak runtimes,
where applications can use it to interact with portals; it can also be
used to test the portal services.
amd64-baseline-support
CPU feature checking - require amd64-baseline
The packages in the isa-support family probe for microprocessor Instruction
Set Architecture features such as SSE3. By refusing to install on machines
lacking a required feature, they allow ISA requirements to be handled in
terms of package dependencies.
postgresql-15-prefix
Prefix Range module for PostgreSQL
This PostgreSQL module provides the prefix_range datatype, allowing to
index searches such as finding the longest prefix matching a telephone
number, having prefixes in a table and telephone number as a parameter: