branch wip-riscv updated (13ba425 -> af6317c)

[guix-commits]

efraim pushed a change to branch wip-riscv
in repository guix.

    from 13ba425  gnu: openlibm: Remove riscv64-linux from supported systems.
     new d7868e5  fixup boot3-inputs
     new af6317c  fixup final-inputs

The 2 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/commencement.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)