This PostgreSQL module provides several data types which can contain single IPv4 or IPv6 addresses or a range of such addresses.

7-Zip is a file archiver with a high compression ratio.

A wheel is a ZIP-format archive with a specially formatted filename and the `.whl` extension. It is designed to contain all the files for a PEP 376 compatible install in a way that is very close to the on-disk format.

An hypothetical, or virtual, index is an index that doesn't really exists, and thus doesn't cost CPU, disk or any resource to create. They're useful to know if specific indexes can increase performance for problematic queries, since you can know if PostgreSQL will use these indexes or not without having to spend resources to create them.

This package provides a debhelper extension to perform user session migration operations on the installed packages.

Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL).