Manpages of libsemanage1-dev in Debian experimental