Package: afnix

"afnix" package binaries on Debian:

/usr/bin/axc /usr/bin/axd /usr/bin/axi /usr/bin/axl

You may install this package on Debian with apt-get install afnix