won't work, as fAircrack isn't a .deb package. If he managed to manually install more develish stuff than -devel itself, he should be able to remove it himself, honestly...