Mirror of the official FriCAS svn repository https://fricas.svn.sourceforge.net/svnroot/fricas/