GNU Linux-libre 4.12.10-gnu, 4.9.46-gnu, 4.4.85-gnu, 3.18.68-gnu source tarballs and patches, and Freesh .debs are now available