Hi, it looks like this: git://maxima.git.sourceforge.net / maxima/repo is redundant with maxima/maxima, maxima/site-xml, etc. since maxima/repo contains subdirectories maxima, site-xml, etc. In the interest of avoiding confusion, can we nuke maxima/repo? best Robert Dodier