Package: libixp-dev

"libixp-dev" package binaries on Debian:

/usr/bin/ixpc

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