Dario Lesca <d.lesca <at> solinos.it> writes: > > Where is this kernel ? There were problems yesterday with the main repo which are being fixed - maybe this will be sorted out later today?