http://www.pmddtc.state.gov/regulations_laws/itar_official.html has the rules. I don't know if it addresses the question of whether someone is distributing Maxima and violating ITAR by posting it on the internet. Or if perhaps the violator is the one who downloads it.