dom-git-checkout(1) on Linux

The text 1beb7bd4c8b5, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it. The page shows this text now.

Checkout the Git repository of a pkg-ocaml-maint package

Flags it lists