Release management

Deprecated or obsolete packages

New versions

Packages that have newer versions in opam-debian-switch

Notable out-of-date packages (as of 2023-02-05), in dependency order:

Existing packages that need new packages

New packages

Packages present in opam-debian-switch but not in Debian