As I write this, <https://guix.gnu.org/packages/> is over 6 weeks stale, but claims to have been updated two days ago, on July 15:
"GNU Guix provides 9,789 packages transparently available as pre-built binaries. These pages provide a complete list of the packages. Our continuous integration system shows their current build status (updated July 15, 2019)." The same site shows the latest 'linux-libre' package to be 5.1.5: https://guix.gnu.org/packages/L/page/5/ In fact, 'linux-libre' was updated to 5.1.6 early on June 1st: https://git.savannah.gnu.org/cgit/guix.git/commit/?id=b6cf7e54ea412ed24e6b3ca55a5b452a70ec957f Mark
