Package: libcoin80-dev

"libcoin80-dev" package binaries on Debian:

/usr/bin/coin-config

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