dom-git-checkout(1) on Linux

The text da272c0c10f4, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

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

Flags it lists