Mirror of the official FriCAS svn repository http://sourceforge.net/p/fricas/code/HEAD/tree/