Similar repositories to nilqed/fricas_w32: