Johannes Altmanninger 695bc293a9 contrib/debian/control: allow any "man" virtual pkg (man-db/mandoc) ...

We support multiple "man" implementations; at least man-db's and
mandoc's.

So we can relax the mandoc dependency to a dependency on the virtual
package providing "man". Note that as of today, "mandoc" fails to
have a "Provides: man".

However since Debian policy says in
https://www.debian.org/doc/debian-policy/ch-relationships.html

> To specify which of a set of real packages should be the default
> to satisfy a particular dependency on a virtual package, list the
> real package as an alternative before the virtual one.

we want to list possible real packages anyway, so do that.

Closes #12596

2026-04-03 12:20:08 +08:00

..

debian

contrib/debian/control: allow any "man" virtual pkg (man-db/mandoc)

2026-04-03 12:20:08 +08:00

shell.nix

add contrib/shell.nix

2026-03-15 17:46:24 +08:00