Maxima packages - distrib