Debian package for antimicro