Manpages of gap-dev in Debian jessie