Manpages of adanaxisgpl in Debian stretch