My mirror of FriCAS project