Folks:<br><br>Is the olpc-f14 repository down?  it was down last week, 
then seemed to jump back to life, but it looks to be unavailable again. <br><br>Cheers,<br><font color="#888888"><br>KG<br></font>