branch master updated (e38b4d5 -> b62e74e)

[guix-commits]

lfam pushed a change to branch master
in repository guix.

    from e38b4d5  gnu: coq: Update to 8.13.2.
     new 15e4849  gnu: linux-libre: Update to 5.13.7.
     new 86f2e3b  gnu: linux-libre 5.10: Update to 5.10.55.
     new 2b26915  gnu: linux-libre 5.4: Update to 5.4.137.
     new b62e74e  gnu: linux-libre 4.19: Update to 4.19.200.

The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 gnu/packages/linux.scm | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)