Manpages of libchipcard-dev in Debian unstable