Manpages of src:libgtkada in Debian testing