Package: libchipcard-dev

"libchipcard-dev" package binaries on Debian:

/usr/bin/chipcard-config

You may install this package on Debian with apt-get install libchipcard-dev