Manpages of libglpk-java in Debian wheezy