GNU Linux-libre 4.12.{9,10}-gnu, 4.9.4{5,6,7}-gnu, 4.4.8{4,5,6}-gnu, 3.18.6{7,8,9}-gnu, 3.16.47-gnu, and 3.2.92-gnu1 Freeloong .debs for gnewsense/yeeloong are now available; 4.13.0-rc{6,7}-gnu were broken and removed