Hello, I looked up some information... Axiom has been forked in 2007 into FriCAS and OpenAxiom. So, Axiom and OpenAxiom are the same. Nevertheless there are two AUR-packages with OpenAxiom, and the mentioned licenses (in the package description) differ. How will such a case be handled? Ciao, Oliver