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: