Manpages of minpack-dev in Debian unstable