Manpages of gnome-pkg-tools in Debian stretch