> We have for example http://www.lyx.org/trac/ticket/5896 > > > The bug reported there is a server bug of MikTeX.
Are you sure it is a server bug of MikTeX ? Do you know where we download MikTeX from ?Why don't we just change the MikTeX binary to a newer version, which can be downloaded ?
"basic-miktex.2.7.2960.exe" => "basic-miktex-2.7.3248.exe" Vincent
