bug#36708: guix.gnu.org/packages is 6 weeks stale, claims recent update

[Mark H Weaver]

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