On 04/10/2016 11:41 AM, Mojca Miklavec wrote: > On 10 April 2016 at 11:34, Pablo Rodriguez wrote: >> [...] >> Is the version number wrong or does the Linux 32bit distribution have a >> previous version? > > It has to do with server problems. > > I might try to prepare an alternative setup until the problems get fixed.
Hi Mojca, if this is related to the server problem, then this is fine for me. I can wait until the issue gets fixed. Many thanks for your help, Pablo -- http://www.ousia.tk ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________